Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

aima.logic.fol.inference.otter
Interface ClauseSimplifier

All Known Implementing Classes:
DefaultClauseSimplifier
public interface ClauseSimplifier

Method Summary
 Clause simplify(Clause c)
           
 

Method Detail

simplify

Clause simplify(Clause c)
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD