Uses of Interface
cz.muni.fi.mias.math.FormulaValuator

Packages that use FormulaValuator

Package	Description
cz.muni.fi.mias.math

Uses of FormulaValuator in cz.muni.fi.mias.math

Classes in cz.muni.fi.mias.math that implement FormulaValuator

Modifier and Type	Class and Description
class	CountNodesFormulaValuator Formula valuator which values formula's complexity on the number of its nodes