A C F G I L M R S T V

F

Formula - Class in model.logic

This class represents the formula logic object.

Formula(int, List<Clause>) - Constructor for class model.logic.Formula

Formula(int, List<Clause>, String) - Constructor for class model.logic.Formula

Formula(int, Clause) - Constructor for class model.logic.Formula

Formula(int) - Constructor for class model.logic.Formula

FormulaeBase - Class in model.logic

This class represents a base of general formulae

FormulaeBase(List<Formula>, long, String, boolean, String) - Constructor for class model.logic.FormulaeBase

FormulaeBase(List<Formula>, long, String, boolean, String, boolean) - Constructor for class model.logic.FormulaeBase

FormulaeBase(List<Formula>, String, boolean) - Constructor for class model.logic.FormulaeBase

FormulaeBase(long, String, boolean, String) - Constructor for class model.logic.FormulaeBase