|
||||||||||
| 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 | |||||||||