aima.core.logic.fol.domain

Class FOLDomain

java.lang.Object

aima.core.logic.fol.domain.FOLDomain

Direct Known Subclasses:

FOLDataSetDomain

public class FOLDomain
extends java.lang.Object

Author:

Ravi Mohan, Ciaran O'Reilly

Constructor Summary

Constructors

Constructor and Description
FOLDomain()
FOLDomain(FOLDomain toCopy)
FOLDomain(java.util.Set<java.lang.String> constants, java.util.Set<java.lang.String> functions, java.util.Set<java.lang.String> predicates)

Method Summary

Modifier and Type	Method and Description
java.lang.String	addAnswerLiteral()
void	addConstant(java.lang.String constant)
void	addFOLDomainListener(FOLDomainListener listener)
void	addFunction(java.lang.String function)
void	addPredicate(java.lang.String predicate)
java.lang.String	addSkolemConstant()
java.lang.String	addSkolemFunction()
java.util.Set<java.lang.String>	getConstants()
java.util.Set<java.lang.String>	getFunctions()
java.util.Set<java.lang.String>	getPredicates()
void	removeFOLDomainListener(FOLDomainListener listener)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FOLDomain

public FOLDomain()

FOLDomain

public FOLDomain(FOLDomain toCopy)

FOLDomain

public FOLDomain(java.util.Set<java.lang.String> constants,
                 java.util.Set<java.lang.String> functions,
                 java.util.Set<java.lang.String> predicates)

Method Detail

getConstants

public java.util.Set<java.lang.String> getConstants()

getFunctions

public java.util.Set<java.lang.String> getFunctions()

getPredicates

public java.util.Set<java.lang.String> getPredicates()

addConstant

public void addConstant(java.lang.String constant)

addSkolemConstant

public java.lang.String addSkolemConstant()

addFunction

public void addFunction(java.lang.String function)

addSkolemFunction

public java.lang.String addSkolemFunction()

addPredicate

public void addPredicate(java.lang.String predicate)

addAnswerLiteral

public java.lang.String addAnswerLiteral()

addFOLDomainListener

public void addFOLDomainListener(FOLDomainListener listener)

removeFOLDomainListener

public void removeFOLDomainListener(FOLDomainListener listener)