A C F G I L M R S T V

I

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

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

isComingFromFile(boolean) - Method in class model.logic.FormulaeBase

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