Méthode | Description | |
---|---|---|
Equals ( Object o ) : bool | ||
GetHashCode ( ) : int | ||
NotSentence ( Sentence negated ) : System | ||
ToString ( ) : String | ||
accept ( FOLVisitor v, Object arg ) : Object | ||
copy ( ) : FOLNode | ||
getArgs ( ) : List |
||
getNegated ( ) : Sentence | ||
getSymbolicName ( ) : String | ||
isCompound ( ) : bool |
public NotSentence ( Sentence negated ) : System | ||
negated | Sentence | |
Résultat | System |
public accept ( FOLVisitor v, Object arg ) : Object | ||
v | FOLVisitor | |
arg | Object | |
Résultat | Object |