C# Class AIMA.Core.Logic.FOL.Domain.FOLDomain

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

Méthodes publiques

Méthode	Description
FOLDomain ( ) : System
FOLDomain ( FOLDomain toCopy ) : System
FOLDomain ( List constants, List functions, List predicates ) : System
addAnswerLiteral ( ) : String
addConstant ( String constant ) : void
addFOLDomainListener ( FOLDomainListener listener ) : void
addFunction ( String function ) : void
addPredicate ( String predicate ) : void
addSkolemConstant ( ) : String
addSkolemFunction ( ) : String
getConstants ( ) : List
getFunctions ( ) : List
getPredicates ( ) : List
removeFOLDomainListener ( FOLDomainListener listener ) : void

Private Methods

Méthode	Description
notifyFOLDomainListeners ( FOLDomainEvent evt ) : void

Method Details

FOLDomain() public méthode

public FOLDomain ( ) : System
Résultat	System

FOLDomain() public méthode

public FOLDomain ( FOLDomain toCopy ) : System
toCopy	FOLDomain
Résultat	System

FOLDomain() public méthode

public FOLDomain ( List constants, List functions, List predicates ) : System
constants	List
functions	List
predicates	List
Résultat	System

addAnswerLiteral() public méthode

public addAnswerLiteral ( ) : String
Résultat	String

addConstant() public méthode

public addConstant ( String constant ) : void
constant	String
Résultat	void

addFOLDomainListener() public méthode

public addFOLDomainListener ( FOLDomainListener listener ) : void
listener	FOLDomainListener
Résultat	void

addFunction() public méthode

public addFunction ( String function ) : void
function	String
Résultat	void

addPredicate() public méthode

public addPredicate ( String predicate ) : void
predicate	String
Résultat	void

addSkolemConstant() public méthode

public addSkolemConstant ( ) : String
Résultat	String

addSkolemFunction() public méthode

public addSkolemFunction ( ) : String
Résultat	String

getConstants() public méthode

public getConstants ( ) : List
Résultat	List

getFunctions() public méthode

public getFunctions ( ) : List
Résultat	List

getPredicates() public méthode

public getPredicates ( ) : List
Résultat	List

removeFOLDomainListener() public méthode

public removeFOLDomainListener ( FOLDomainListener listener ) : void
listener	FOLDomainListener
Résultat	void