aima.logic.fol.domain
Class FOLDomain

java.lang.Object
  aima.logic.fol.domain.FOLDomain

Direct Known Subclasses:

FOLDataSetDomain

public class FOLDomain
extends java.lang.Object

Constructor Summary

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

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)