rules
Class RuleModel

java.lang.Object
  rules.RuleModel

public class RuleModel

extends java.lang.Object

Constructor Summary

RuleModel()

RuleModel(java.util.ArrayList validActions)

RuleModel(RuleModel other)

Method Summary

RuleSet	actionNameRS(java.lang.String actionName)
RuleSet	actionRS(Action action)
void	addRule(Rule r)
void	addRuleSet(RuleSet r)
RuleBinding	applicableRuleBinding(World w, Action a)
Example	genExample(World w, Action a)
java.util.ArrayList	genExamples(Lit lit, World w, int num, int step)
java.util.ArrayList	genExamples(java.lang.String aname, World w, int num, int step)
java.util.ArrayList	genExamples(World w, int num)
static void	main(java.lang.String[] args)
java.lang.String	toString()
World	transition(World w, Action a)
World	transition(World w, java.lang.String a)
World	transitionPrint(World w, Action a)

Methods inherited from class java.lang.Object

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

Constructor Detail

RuleModel

public RuleModel()

RuleModel

public RuleModel(RuleModel other)

RuleModel

public RuleModel(java.util.ArrayList validActions)

Method Detail

addRule

public void addRule(Rule r)

transitionPrint

public World transitionPrint(World w,
                             Action a)

transition

public World transition(World w,
                        Action a)

transition

public World transition(World w,
                        java.lang.String a)

addRuleSet

public void addRuleSet(RuleSet r)

actionRS

public RuleSet actionRS(Action action)

actionNameRS

public RuleSet actionNameRS(java.lang.String actionName)

genExample

public Example genExample(World w,
                          Action a)

applicableRuleBinding

public RuleBinding applicableRuleBinding(World w,
                                         Action a)

genExamples

public java.util.ArrayList genExamples(World w,
                                       int num)

genExamples

public java.util.ArrayList genExamples(Lit lit,
                                       World w,
                                       int num,
                                       int step)

genExamples

public java.util.ArrayList genExamples(java.lang.String aname,
                                       World w,
                                       int num,
                                       int step)

toString

public java.lang.String toString()

main

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