object
method addClause : Problem.clause -> unit
method addClauses : Problem.clause list -> unit
method addToInitialInterpretation : Problem.literal list -> unit
method containsEquality : bool
method getClauses : Problem.clause list
method getConstantSymbols : Problem.symbol list
method getFunctionArities : Problem.arities
method getFunctionSymbols : Problem.symbol list
method getInitialInterpretation : Problem.literal list
method getMaxClauseLength : int
method getPredicateArities : Problem.arities
method getPredicateSymbols : Problem.symbol list
method isBS : bool
method isHorn : bool
end