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

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

Public Methods

Method	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

Method	Description
notifyFOLDomainListeners ( FOLDomainEvent evt ) : void

Method Details

FOLDomain() public method

public FOLDomain ( ) : System
return	System

FOLDomain() public method

public FOLDomain ( FOLDomain toCopy ) : System
toCopy	FOLDomain
return	System

FOLDomain() public method

public FOLDomain ( List constants, List functions, List predicates ) : System
constants	List
functions	List
predicates	List
return	System

addAnswerLiteral() public method

public addAnswerLiteral ( ) : String
return	String

addConstant() public method

public addConstant ( String constant ) : void
constant	String
return	void

addFOLDomainListener() public method

public addFOLDomainListener ( FOLDomainListener listener ) : void
listener	FOLDomainListener
return	void

addFunction() public method

public addFunction ( String function ) : void
function	String
return	void

addPredicate() public method

public addPredicate ( String predicate ) : void
predicate	String
return	void

addSkolemConstant() public method

public addSkolemConstant ( ) : String
return	String

addSkolemFunction() public method

public addSkolemFunction ( ) : String
return	String

getConstants() public method

public getConstants ( ) : List
return	List

getFunctions() public method

public getFunctions ( ) : List
return	List

getPredicates() public method

public getPredicates ( ) : List
return	List

removeFOLDomainListener() public method

public removeFOLDomainListener ( FOLDomainListener listener ) : void
listener	FOLDomainListener
return	void