| 메소드 | 설명 | |
|---|---|---|
| Equals ( Object o ) : bool | ||
| GetHashCode ( ) : int | ||
| TermEquality ( Term term1, Term term2 ) : System | ||
| ToString ( ) : String | ||
| accept ( FOLVisitor v, Object arg ) : Object | ||
| copy ( ) : FOLNode | ||
|
getArgs ( ) : List |
||
| getEqualitySynbol ( ) : String | ||
| getSymbolicName ( ) : String | ||
| getTerm1 ( ) : Term | ||
| getTerm2 ( ) : Term | ||
| isCompound ( ) : bool |
| public TermEquality ( Term term1, Term term2 ) : System | ||
| term1 | Term | |
| term2 | Term | |
| 리턴 | System | |
| public accept ( FOLVisitor v, Object arg ) : Object | ||
| v | FOLVisitor | |
| arg | Object | |
| 리턴 | Object | |
