Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Class
ai.krr.fol.BinaryConnectedSentence

Packages that use BinaryConnectedSentence
ai.krr.fol   
 

Uses of BinaryConnectedSentence in ai.krr.fol
 

Methods in ai.krr.fol that return BinaryConnectedSentence
 BinaryConnectedSentence BinaryConnectedSentence.clone()
           This function generates a deep copy of this BinaryConnectedSentence.
 BinaryConnectedSentence BinaryConnectedSentence.clone(Substitution s)
           Returns a copy of this Sentence with Variables replaced according to the given Substitution.
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES