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