check() | SimpleSolution | [virtual] |
display(ostream &o) | SimpleSolution | [virtual] |
fail | SimpleSolution | |
ndnumvar | SimpleSolution | |
ndvar | SimpleSolution | |
numericalvariableSolution | SimpleSolution | |
SimpleSolution(unsigned int ndvar, unsigned int ndnumvar, Unification *unification) | SimpleSolution | |
unification | SimpleSolution | |
variableSolution | SimpleSolution | |
~SimpleSolution() | SimpleSolution |