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