A C F G I L M R S T V

A

addClause(Clause) - Method in class model.logic.ClausesBase

addClause(Clause) - Method in class model.logic.Formula

addFormula(Formula) - Method in class model.logic.FormulaeBase

addFormula(Formula) - Method in class model.logic.MUS

addFormule(Formula) - Method in class model.logic.MSS

addLitteral(Literal) - Method in class model.logic.Clause

Adds a new literal to the clause