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

Inheritance: Sentence

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

Méthodes publiques

Méthode	Description
Equals ( Object o ) : bool
GetHashCode ( ) : int
QuantifiedSentence ( String quantifier, List variables, Sentence quantified ) : System
ToString ( ) : String
accept ( FOLVisitor v, Object arg ) : Object
copy ( ) : FOLNode
getArgs ( ) : List
getQuantified ( ) : Sentence
getQuantifier ( ) : String
getSymbolicName ( ) : String
getVariables ( ) : List
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

QuantifiedSentence() public méthode

public QuantifiedSentence ( String quantifier, List variables, Sentence quantified ) : System
quantifier	String
variables	List
quantified	Sentence
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

getQuantified() public méthode

public getQuantified ( ) : Sentence
Résultat	Sentence

getQuantifier() public méthode

public getQuantifier ( ) : String
Résultat	String

getSymbolicName() public méthode

public getSymbolicName ( ) : String
Résultat	String

getVariables() public méthode

public getVariables ( ) : List
Résultat	List

isCompound() public méthode

public isCompound ( ) : bool
Résultat	bool