A C F G I L M R S T V

S

scala - package scala

setClauses(List<Clause>) - Method in class model.logic.ClausesBase

setClauses(List<Clause>) - Method in class model.logic.Formula

setFormula(String) - Method in class model.logic.Formula

setFormulae(List<Formula>) - Method in class model.logic.FormulaeBase

setFormulae(List<Formula>) - Method in class model.logic.MSS

setFormulae(List<Formula>) - Method in class model.logic.MUS

setGroup(int) - Method in class model.logic.Formula

setId(long) - Method in class model.logic.Clause

Assigns a new id to the clause

setId(long) - Method in class model.logic.ClausesBase

setId(int) - Method in class model.logic.Formula

setId(long) - Method in class model.logic.FormulaeBase

setId(long) - Method in class model.logic.MSS

setId(long) - Method in class model.logic.MUS

setId(int) - Method in class model.logic.Variable

setIsComingFromFile(boolean) - Method in class model.logic.ClausesBase

setLiterals(List<Literal>) - Method in class model.logic.Clause

Assign a set of literals to the clause

setName(String) - Method in class model.logic.ClausesBase

setName(String) - Method in class model.logic.FormulaeBase

setName(String) - Method in class model.logic.MSS

setName(String) - Method in class model.logic.MUS

setName(String) - Method in class model.logic.Variable

setNomFichierOrigine(String) - Method in class model.logic.ClausesBase

setOriginaleFileName(String) - Method in class model.logic.FormulaeBase

setPositive(boolean) - Method in class model.logic.Literal

setScore(double) - Method in class model.logic.MSS

setShapleyValue(double) - Method in class model.logic.Formula

setVariable(Variable) - Method in class model.logic.Literal

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

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