A C F G I L M R S T V

G

getClauses() - Method in class model.logic.ClausesBase

getClauses() - Method in class model.logic.Formula

getClauses() - Method in class model.logic.FormulaeBase

getFormula() - Method in class model.logic.Formula

getFormula(int) - Method in class model.logic.FormulaeBase

getFormulae() - Method in class model.logic.FormulaeBase

getFormulae() - Method in class model.logic.MSS

getFormulae() - Method in class model.logic.MUS

getGroup() - Method in class model.logic.Formula

getId() - Method in class model.logic.Clause

Returns the id of the clause

getId() - Method in class model.logic.ClausesBase

getId() - Method in class model.logic.Formula

getId() - Method in class model.logic.FormulaeBase

getId() - Method in class model.logic.MSS

getId() - Method in class model.logic.MUS

getId() - Method in class model.logic.Variable

getListeVariables() - Method in class model.logic.ClausesBase

getLiterals() - Method in class model.logic.Clause

Returns literals of the clause

getName() - Method in class model.logic.ClausesBase

getName() - Method in class model.logic.FormulaeBase

getName() - Method in class model.logic.MSS

getName() - Method in class model.logic.MUS

getName() - Method in class model.logic.Variable

getNbVariables() - Method in class model.logic.ClausesBase

getNbVariables() - Method in class model.logic.FormulaeBase

getNextFreeClauseId() - Method in class model.logic.FormulaeBase

getNextFreeFormuleId() - Method in class model.logic.FormulaeBase

getNextFreeVariableId() - Method in class model.logic.FormulaeBase

getNomFichierOrigine() - Method in class model.logic.ClausesBase

getNumberOfLiterals() - Method in class model.logic.Clause

Returns the number of literals composing the clause

getOriginalFileName() - Method in class model.logic.FormulaeBase

getRepresentation() - Method in class model.logic.Formula

getScore() - Method in class model.logic.MSS

getShapleyValue() - Method in class model.logic.Formula

getVariable() - Method in class model.logic.Literal

getVariables() - Method in class model.logic.FormulaeBase