aima.logic.fol.domain
Class DomainFactory

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

public class DomainFactory
extends java.lang.Object

Constructor Summary

DomainFactory()

Method Summary

static FOLDomain	crusadesDomain()
static FOLDomain	kingsDomain()
static FOLDomain	knowsDomain()
static FOLDomain	lovesAnimalDomain()
static FOLDomain	ringOfThievesDomain()
static FOLDomain	weaponsDomain()

Methods inherited from class java.lang.Object

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

Constructor Detail

DomainFactory

public DomainFactory()

Method Detail

crusadesDomain

public static FOLDomain crusadesDomain()

knowsDomain

public static FOLDomain knowsDomain()

weaponsDomain

public static FOLDomain weaponsDomain()

kingsDomain

public static FOLDomain kingsDomain()

lovesAnimalDomain

public static FOLDomain lovesAnimalDomain()

ringOfThievesDomain

public static FOLDomain ringOfThievesDomain()