C# Class AIMA.Core.Logic.FOL.Parsing.AST.TermEquality

Inheritance: AtomicSentence

Mostra file Open project: PaulMineau/AIMA.Net Class Usage Examples

Public Methods

Method	Description
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

Method Details

Equals() public method

public Equals ( Object o ) : bool
o	Object
return	bool

GetHashCode() public method

public GetHashCode ( ) : int
return	int

TermEquality() public method

public TermEquality ( Term term1, Term term2 ) : System
term1	Term
term2	Term
return	System

ToString() public method

public ToString ( ) : String
return	String

accept() public method

public accept ( FOLVisitor v, Object arg ) : Object
v	FOLVisitor
arg	Object
return	Object

copy() public method

public copy ( ) : FOLNode
return	FOLNode

getArgs() public method

public getArgs ( ) : List
return	List

getEqualitySynbol() public static method

public static getEqualitySynbol ( ) : String
return	String

getSymbolicName() public method

public getSymbolicName ( ) : String
return	String

getTerm1() public method

public getTerm1 ( ) : Term
return	Term

getTerm2() public method

public getTerm2 ( ) : Term
return	Term

isCompound() public method

public isCompound ( ) : bool
return	bool