Index - U
| Unchanged | Theory.Constraint.Solver.Reduction |
| UndeterminedProof | Theory.Proof, Theory |
| unifiableLNFacts | Theory.Model.Fact, Theory.Model, Theory |
| unifiableLNTerms | Theory.Model, Theory |
| unifiableRuleACInsts | Theory.Model.Rule, Theory.Model, Theory |
| unifyLNFactEqs | Theory.Model.Fact, Theory.Model, Theory |
| unifyLNTerm | Theory.Model, Theory |
| unifyLNTermFactored | Theory.Model, Theory |
| unifyLTerm | Theory.Model, Theory |
| unifyLTermFactored | Theory.Model, Theory |
| unifyRuleACInstEqs | Theory.Model.Rule, Theory.Model, Theory |
| Union | Theory.Model, Theory |
| unionSymString | Theory.Model, Theory |
| unproven | Theory.Proof, Theory |
| unprovenLemma | Theory |
| unsafefApp | Theory.Model, Theory |
| unsolvedActionAtoms | Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
| unsolvedChainConstraints | Theory.Constraint.Solver.CaseDistinctions, Theory.Constraint.Solver, Theory.Proof, Theory |
| unsolvedChains | Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
| unSplitId | Theory.Tools.EquationStore, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
| UntypedCaseDist | Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
| UpK | Theory.Model.Fact, Theory.Model, Theory |
| useAutoLoopBreakersAC | Theory.Tools.LoopBreakers |
| Useful | Theory.Constraint.Solver.Goals |
| UsefulGoalNrRanking | Theory.Constraint.Solver.ProofMethod, Theory.Constraint.Solver, Theory.Proof, Theory |
| Usefulness | Theory.Constraint.Solver.Goals |
| useHeuristic | Theory.Constraint.Solver.ProofMethod, Theory.Constraint.Solver, Theory.Proof, Theory |
| UseInduction | Theory.Constraint.Solver.Types, Theory.Constraint.Solver, Theory.Proof, Theory |