Method | Description | |
---|---|---|
Equals ( Object o ) : bool | ||
GetHashCode ( ) : int | ||
Predicate ( String predicateName, List |
||
ToString ( ) : String | ||
accept ( FOLVisitor v, Object arg ) : Object | ||
copy ( ) : FOLNode | ||
getArgs ( ) : List |
||
getPredicateName ( ) : String | ||
getSymbolicName ( ) : String | ||
getTerms ( ) : List |
||
isCompound ( ) : bool |
public Predicate ( String predicateName, List |
||
predicateName | String | |
terms | List |
|
return | System |
public accept ( FOLVisitor v, Object arg ) : Object | ||
v | FOLVisitor | |
arg | Object | |
return | Object |