Uses of Class
model.logic.Formula

Packages that use Formula

model.logic

Uses of Formula in model.logic

Fields in model.logic declared as Formula

static Formula

Formula.TAUTOLOGIE

Methods in model.logic that return Formula

Formula	Formula.copy()
Formula	FormulaeBase.getFormula(int id)

Methods in model.logic that return types with arguments of type Formula

java.util.List<Formula>	MUS.getFormulae()
java.util.List<Formula>	MSS.getFormulae()
java.util.List<Formula>	FormulaeBase.getFormulae()

Methods in model.logic with parameters of type Formula

void	MUS.addFormula(Formula formula)
void	FormulaeBase.addFormula(Formula f)
void	MSS.addFormule(Formula formula)
int	Formula.compareTo(Formula o)
void	FormulaeBase.removeFormula(Formula f)

Method parameters in model.logic with type arguments of type Formula

void	FormulaeBase.removeFormulae(java.util.List<Formula> l)
void	MUS.setFormulae(java.util.List<Formula> formulae)
void	MSS.setFormulae(java.util.List<Formula> formulae)
void	FormulaeBase.setFormulae(java.util.List<Formula> formulae)

Constructor parameters in model.logic with type arguments of type Formula

FormulaeBase(java.util.List<Formula> formules, long id, java.lang.String nom, boolean isComingFromFile, java.lang.String originalFileName)

FormulaeBase(java.util.List<Formula> formules, long id, java.lang.String nom, boolean isComingFromFile, java.lang.String originalFileName, boolean leaveIdFormula)

FormulaeBase(java.util.List<Formula> formules, java.lang.String nom, boolean leaveIdFormula)

MSS(java.util.List<Formula> formulae, long id, java.lang.String name)

MUS(java.util.List<Formula> formulae, long id, java.lang.String name)