aima.logic.fol
Class Clause

java.lang.Object
  aima.logic.fol.Clause

public class Clause
extends java.lang.Object

Author:

Ravi Mohan

Constructor Summary

Clause(Predicate predicate, FOLParser parser)

Method Summary

boolean	contains(java.lang.String variable)
Domain	domain()
boolean	hasValueFor(java.lang.String variable)
void	populateDomainsFrom(Fact fact)
java.lang.String	toString()
java.util.List<java.lang.Object>	valuesFor(java.lang.String variable)

Methods inherited from class java.lang.Object

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

Constructor Detail

Clause

public Clause(Predicate predicate,
              FOLParser parser)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

populateDomainsFrom

public void populateDomainsFrom(Fact fact)

domain

public Domain domain()

contains

public boolean contains(java.lang.String variable)

hasValueFor

public boolean hasValueFor(java.lang.String variable)

valuesFor

public java.util.List<java.lang.Object> valuesFor(java.lang.String variable)