rules
Class Rule

java.lang.Object
  rules.Rule

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

AppRule

public class Rule

extends java.lang.Object

implements java.lang.Cloneable

Constructor Summary

Rule()

Rule(Action a, Conj c)

Rule(Action a, Conj c, java.util.List r)

Rule(Action a, Conj c, java.util.List r, Distn d, Outcomes o)

Rule(Rule other)

Rule(java.lang.String r, Lang l)

Method Summary

java.lang.String	actionName()
Subs	actionSubs(Action act, World w)
Subs	actionSubs(Example eg)
Subs	actionSubsDeictic(World w, Action act)
java.util.List	actionSubsDeicticList(World w, Action act)
java.util.List	actionSubsList(Action act, World w)
java.util.List	actionSubsList(Example eg)
RuleBinding	applicable(Example eg)
RuleBinding	applicable(World w, Action act)
java.util.List	applicableList(Example eg)
java.util.List	applicableList(World w, Action act)
Rule	apply(Subs s)
java.lang.Object	clone()
void	cloneOutcomes(Rule other)
void	cloneOutcomesWithout(Rule other, int j)
void	cloneOutcomesWithout(Rule other, int j, int k)
boolean	covers(World w, Subs s)
Action	getAction()
java.util.Set	getConsts()
Conj	getContext()
Distn	getDist()
Lang	getLang()
int	getNumPoss()
java.util.List	getOutcomes()
DeicticRef	getRef(int i)
DeicticRef	getRef(Var v)
java.util.List	getVAHelper(World w, int varNum, Subs s)
java.util.List	getValidActions(World w)
java.util.Set	getVariables()
boolean	hasLit(Lit l)
boolean	hasLitsEquals(Lit l)
boolean	hasOutcomeFor(Example eg)
void	initVariables()
double	lprob(Example eg)
double	lprob(Example eg, Subs binding)
static void	main(java.lang.String[] args)
static Rule	makeSpecificRule(World w, Action a)
int	numRefs()
java.util.Iterator	refIterator()
int	refNum(Var v)
java.lang.String	toFileString()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Rule

public Rule()

Rule

public Rule(Action a,
            Conj c,
            java.util.List r,
            Distn d,
            Outcomes o)

Rule

public Rule(Action a,
            Conj c)

Rule

public Rule(Action a,
            Conj c,
            java.util.List r)

Rule

public Rule(Rule other)

Rule

public Rule(java.lang.String r,
            Lang l)

Method Detail

makeSpecificRule

public static Rule makeSpecificRule(World w,
                                    Action a)

clone

public java.lang.Object clone()

cloneOutcomes

public void cloneOutcomes(Rule other)

cloneOutcomesWithout

public void cloneOutcomesWithout(Rule other,
                                 int j)

cloneOutcomesWithout

public void cloneOutcomesWithout(Rule other,
                                 int j,
                                 int k)

initVariables

public void initVariables()

hasLit

public boolean hasLit(Lit l)

hasLitsEquals

public boolean hasLitsEquals(Lit l)

getConsts

public java.util.Set getConsts()

actionName

public java.lang.String actionName()

getAction

public Action getAction()

getContext

public Conj getContext()

getVariables

public java.util.Set getVariables()

apply

public Rule apply(Subs s)

hasOutcomeFor

public boolean hasOutcomeFor(Example eg)

covers

public boolean covers(World w,
                      Subs s)

actionSubs

public Subs actionSubs(Action act,
                       World w)

actionSubsList

public java.util.List actionSubsList(Action act,
                                     World w)

actionSubsList

public java.util.List actionSubsList(Example eg)

actionSubs

public Subs actionSubs(Example eg)

getValidActions

public java.util.List getValidActions(World w)

getVAHelper

public java.util.List getVAHelper(World w,
                                  int varNum,
                                  Subs s)

actionSubsDeictic

public Subs actionSubsDeictic(World w,
                              Action act)

actionSubsDeicticList

public java.util.List actionSubsDeicticList(World w,
                                            Action act)

applicable

public RuleBinding applicable(World w,
                              Action act)

applicable

public RuleBinding applicable(Example eg)

applicableList

public java.util.List applicableList(World w,
                                     Action act)

applicableList

public java.util.List applicableList(Example eg)

lprob

public double lprob(Example eg,
                    Subs binding)

lprob

public double lprob(Example eg)

getNumPoss

public int getNumPoss()

getLang

public Lang getLang()

getOutcomes

public java.util.List getOutcomes()

getRef

public DeicticRef getRef(int i)

getRef

public DeicticRef getRef(Var v)

refNum

public int refNum(Var v)

numRefs

public int numRefs()

getDist

public Distn getDist()

refIterator

public java.util.Iterator refIterator()

toFileString

public java.lang.String toFileString()

toString

public java.lang.String toString()

main

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