|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use FunctionArgumentsMismatchException | |
---|---|
de.uni_tuebingen.sfb.lichtenstein.formulas |
Uses of FunctionArgumentsMismatchException in de.uni_tuebingen.sfb.lichtenstein.formulas |
---|
Methods in de.uni_tuebingen.sfb.lichtenstein.formulas that throw FunctionArgumentsMismatchException | |
---|---|
Formula |
FormulaTemplate.getFormula(Variable... inputVariables)
Return the formula that results from replacing the free variables which were supplied during the creation of this template by the variables supplied as arguments to this method. |
Constructors in de.uni_tuebingen.sfb.lichtenstein.formulas that throw FunctionArgumentsMismatchException | |
---|---|
FormulaTemplate(Formula template,
Variable... dummies)
Initialize a new formula template, based on a formula and a list of dummy variables that appear in the formula. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |