Uses of Class
de.uni_tuebingen.sfb.lichtenstein.exceptions.FunctionArgumentsMismatchException

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.