aima.logic.fol.parsing
Class DomainFactory

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

public class DomainFactory
extends java.lang.Object

Author:

Ravi Mohan

Constructor Summary

DomainFactory()

Method Summary

static FOLDomain	crusadesDomain()
static FOLDomain	kingsDomain()
static FOLDomain	knowsDomain()
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()