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

Inheritance: AtomicSentence

Afficher le fichier Open project: PaulMineau/AIMA.Net Class Usage Examples

Méthodes publiques

Méthode	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 méthode

public Equals ( Object o ) : bool
o	Object
Résultat	bool

GetHashCode() public méthode

public GetHashCode ( ) : int
Résultat	int

TermEquality() public méthode

public TermEquality ( Term term1, Term term2 ) : System
term1	Term
term2	Term
Résultat	System

ToString() public méthode

public ToString ( ) : String
Résultat	String

accept() public méthode

public accept ( FOLVisitor v, Object arg ) : Object
v	FOLVisitor
arg	Object
Résultat	Object

copy() public méthode

public copy ( ) : FOLNode
Résultat	FOLNode

getArgs() public méthode

public getArgs ( ) : List
Résultat	List

getEqualitySynbol() public static méthode

public static getEqualitySynbol ( ) : String
Résultat	String

getSymbolicName() public méthode

public getSymbolicName ( ) : String
Résultat	String

getTerm1() public méthode

public getTerm1 ( ) : Term
Résultat	Term

getTerm2() public méthode

public getTerm2 ( ) : Term
Résultat	Term

isCompound() public méthode

public isCompound ( ) : bool
Résultat	bool