aima.logic.fol
Class Rule

java.lang.Object
  aima.logic.fol.Rule

public class Rule
extends java.lang.Object

Author:

Ravi Mohan

Constructor Summary

Rule(Sentence sentence, FOLParser parser)

Method Summary

Clause	clause(int i)
java.util.List	clausesContaining(java.lang.String variable)
java.util.List	commonValuesInContainingClauses(java.lang.String variable)
Predicate	conclusion()
void	initializeAllClauseDomainsFrom(java.util.List facts)
int	numClauses()
boolean	triggerable()

Methods inherited from class java.lang.Object

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

Constructor Detail

Rule

public Rule(Sentence sentence,
            FOLParser parser)

Method Detail

numClauses

public int numClauses()

clause

public Clause clause(int i)

conclusion

public Predicate conclusion()

initializeAllClauseDomainsFrom

public void initializeAllClauseDomainsFrom(java.util.List facts)

clausesContaining

public java.util.List clausesContaining(java.lang.String variable)

triggerable

public boolean triggerable()

commonValuesInContainingClauses

public java.util.List commonValuesInContainingClauses(java.lang.String variable)