C# Класс AIMA.Core.Logic.FOL.Domain.FOLDomain

Показать файл Открыть проект Примеры использования класса

Открытые методы

Метод	Описание
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

Приватные методы

Метод	Описание
notifyFOLDomainListeners ( FOLDomainEvent evt ) : void

Описание методов

FOLDomain() публичный Метод

public FOLDomain ( ) : System
Результат	System

FOLDomain() публичный Метод

public FOLDomain ( FOLDomain toCopy ) : System
toCopy	FOLDomain
Результат	System

FOLDomain() публичный Метод

public FOLDomain ( List constants, List functions, List predicates ) : System
constants	List
functions	List
predicates	List
Результат	System

addAnswerLiteral() публичный Метод

public addAnswerLiteral ( ) : String
Результат	String

addConstant() публичный Метод

public addConstant ( String constant ) : void
constant	String
Результат	void

addFOLDomainListener() публичный Метод

public addFOLDomainListener ( FOLDomainListener listener ) : void
listener	FOLDomainListener
Результат	void

addFunction() публичный Метод

public addFunction ( String function ) : void
function	String
Результат	void

addPredicate() публичный Метод

public addPredicate ( String predicate ) : void
predicate	String
Результат	void

addSkolemConstant() публичный Метод

public addSkolemConstant ( ) : String
Результат	String

addSkolemFunction() публичный Метод

public addSkolemFunction ( ) : String
Результат	String

getConstants() публичный Метод

public getConstants ( ) : List
Результат	List

getFunctions() публичный Метод

public getFunctions ( ) : List
Результат	List

getPredicates() публичный Метод

public getPredicates ( ) : List
Результат	List

removeFOLDomainListener() публичный Метод

public removeFOLDomainListener ( FOLDomainListener listener ) : void
listener	FOLDomainListener
Результат	void