Searched defs:TopVariable (Results 1 – 4 of 4) sorted by relevance
128 struct TopVariable struct in ACU_LhsAutomaton130 int index;131 int multiplicity;132 Sort* sort;133 int upperBound;134 AssociativeSymbol::Structure structure;135 bool takeIdentity;136 LhsAutomaton* abstracted; // automaton for abstracted term140 int prevUnbound; // back pointer to last unbound variable141 int firstSubject; // first subject heuristically assigned to variable[all …]
65 struct TopVariable struct in ACU_Subproblem67 int index;68 int multiplicity;69 int lowerBound;70 int upperBound;71 const Sort* sort;
50 struct TopVariable struct in AU_Layer52 int index;53 int lowerBound;54 int upperBound;55 Sort* sort;59 Bool boundByUs;60 Bool extraId;
118 struct TopVariable struct in AU_LhsAutomaton120 short index;121 Bool takeIdentity; // take identity instead of piece of subject (always)122 Bool awkward; // take identity instead of piece of subject (special)123 Sort* sort;124 int upperBound;125 LhsAutomaton* abstracted; // automaton for abstracted term129 int nastyBinding; // if >= 0, minimum number of subterms134 int firstSubject;135 int lastSubject;