rules
Class RuleBinding

java.lang.Object
  rules.RuleBinding

All Implemented Interfaces:

java.lang.Cloneable

public class RuleBinding

extends java.lang.Object

implements java.lang.Cloneable

Method Summary

java.util.List	allTransitions(World old)
java.lang.Object	clone()
Subs	getBinding()
Example	getEg()
java.util.Iterator	getGroundAntecedentIterator()
java.util.List	getGroundAntecedentList()
java.util.List	getGroundOutcomes(java.lang.String oldConjString)
java.util.List	getNextStates(java.lang.String oldConjString)
java.util.List	getNextStates(World oldstate)
Rule	getRule()
boolean	hasOutcomeFor(Example eg)
double	lprob()
double	lprob(Example eg)
static void	main(java.lang.String[] args)
boolean	overlaps(RuleBinding other)
double	probabilityOfTransition(World old, World destination)
Conj	responsibleFor()
java.lang.String	toString()
World	transition(World old)

Methods inherited from class java.lang.Object

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

Method Detail

clone

public java.lang.Object clone()

overlaps

public boolean overlaps(RuleBinding other)

responsibleFor

public Conj responsibleFor()

transition

public World transition(World old)

allTransitions

public java.util.List allTransitions(World old)

lprob

public double lprob(Example eg)

lprob

public double lprob()

getEg

public Example getEg()

getRule

public Rule getRule()

getBinding

public Subs getBinding()

getGroundAntecedentList

public java.util.List getGroundAntecedentList()

getGroundAntecedentIterator

public java.util.Iterator getGroundAntecedentIterator()

getNextStates

public java.util.List getNextStates(java.lang.String oldConjString)

getNextStates

public java.util.List getNextStates(World oldstate)

getGroundOutcomes

public java.util.List getGroundOutcomes(java.lang.String oldConjString)

probabilityOfTransition

public double probabilityOfTransition(World old,
                                      World destination)

hasOutcomeFor

public boolean hasOutcomeFor(Example eg)

toString

public java.lang.String toString()

main

public static void main(java.lang.String[] args)