Method | Description | |
---|---|---|
Equals ( Object o ) : bool | ||
GetHashCode ( ) : int | ||
QuantifiedSentence ( String quantifier, List |
||
ToString ( ) : String | ||
accept ( FOLVisitor v, Object arg ) : Object | ||
copy ( ) : FOLNode | ||
getArgs ( ) : List |
||
getQuantified ( ) : Sentence | ||
getQuantifier ( ) : String | ||
getSymbolicName ( ) : String | ||
getVariables ( ) : List |
||
isCompound ( ) : bool |
public QuantifiedSentence ( String quantifier, List |
||
quantifier | String | |
variables | List |
|
quantified | Sentence | |
return | System |
public accept ( FOLVisitor v, Object arg ) : Object | ||
v | FOLVisitor | |
arg | Object | |
return | Object |