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.
 



© Copyright 2008 Hendrik Maryns   Creative Commons License