A C F G I L M R S T V

R

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

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

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

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

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

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