|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Enumerator | |
---|---|
org.qedeq.kernel.bo.logic.common | Here are the common classes that every logical package needs. |
Uses of Enumerator in org.qedeq.kernel.bo.logic.common |
---|
Methods in org.qedeq.kernel.bo.logic.common with parameters of type Enumerator | |
---|---|
static Element |
FormulaUtility.replaceSubjectVariableQuantifier(Element originalSubjectVariable,
Element replacementSubjectVariable,
Element formulaElement,
int occurrenceGoal,
Enumerator occurreneCurrent)
Replace bound subject variables at given occurrence by another one. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |