rules
Class World

java.lang.Object
  rules.World

public class World

extends java.lang.Object

Field Summary

static boolean	cacheRefs
static boolean	hasFunctions
static boolean	useGraphEquals

Constructor Summary

World(Lang l)

World(World other)

Method Summary

Subs	actionSubs(Action act, Action ruleAct, Conj ruleC)
boolean	badConjequals(java.lang.Object o)
void	clear()
int	compareSigs(java.util.List l1, java.util.List l2, java.util.List currentorder)
java.util.List	computeSignature(Const c)
java.lang.Boolean	conceptIsMemoized(Pred p, Args a, Subs s)
int	countUp(Pred p, Args vals, int countField)
boolean	equals(java.lang.Object other)
void	fillWorld(Conj state)
Conj	findChanges(World nw)
void	forgetAllBut(java.util.Set preds, java.util.Set funs)
void	forgetConcept(Pred p)
void	forgetFunConcept(Funct f)
Term	funConceptLookup(Funct f, Args ts, Subs s)
java.util.List	getConsts()
java.util.List	getConsts(Type t)
Lang	getLang()
java.util.Map	getMapTable(Funct f)
java.util.Map	getPredTable(Pred p)
Const	getRandomConst(Type t)
java.util.Map	getRefCache()
Term	getValue(Funct f, Args a, Subs s)
boolean	graphEquals(java.lang.Object o)
int	graphHashCode()
int	hashCode()
void	initRefCache()
boolean	isTrue(Pred p, Args a, Subs s)
static void	main(java.lang.String[] args) testing code
Subs	makeGraphSubs(World w)
void	memoizeConcept(Pred p, Args a, Subs s, boolean b)
Args	noallocApplyInPlace(Args a, Subs s)
java.util.List	orderObjects()
void	resetRefCache()
int	sigToInt(java.util.List l)
boolean	simpleEquals(java.lang.Object other)
int	simpleHashCode()
Conj	toConj()
Conj	toConj(boolean addtype, boolean addtrue, boolean addfalse)
Conj	toConjNoType()
Conj	toFalseConj()
Conj	toFullConj()
java.lang.String	toShortStringCWA()
java.lang.String	toString()
java.lang.String	toStringCWA()
Conj	toTrueConj()
Conj	toTrueConjNoType()
void	updateWorld(Conj state)
void	updateWorld(Conj state, Subs s)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

cacheRefs

public static boolean cacheRefs

hasFunctions

public static boolean hasFunctions

useGraphEquals

public static boolean useGraphEquals

Constructor Detail

World

public World(Lang l)

World

public World(World other)

Method Detail

fillWorld

public void fillWorld(Conj state)

updateWorld

public void updateWorld(Conj state)

updateWorld

public void updateWorld(Conj state,
                        Subs s)

actionSubs

public Subs actionSubs(Action act,
                       Action ruleAct,
                       Conj ruleC)

noallocApplyInPlace

public Args noallocApplyInPlace(Args a,
                                Subs s)

isTrue

public boolean isTrue(Pred p,
                      Args a,
                      Subs s)

countUp

public int countUp(Pred p,
                   Args vals,
                   int countField)

funConceptLookup

public Term funConceptLookup(Funct f,
                             Args ts,
                             Subs s)

forgetFunConcept

public void forgetFunConcept(Funct f)

forgetConcept

public void forgetConcept(Pred p)

forgetAllBut

public void forgetAllBut(java.util.Set preds,
                         java.util.Set funs)

conceptIsMemoized

public java.lang.Boolean conceptIsMemoized(Pred p,
                                           Args a,
                                           Subs s)

memoizeConcept

public void memoizeConcept(Pred p,
                           Args a,
                           Subs s,
                           boolean b)

getValue

public Term getValue(Funct f,
                     Args a,
                     Subs s)

findChanges

public Conj findChanges(World nw)

clear

public void clear()

toFullConj

public Conj toFullConj()

toConj

public Conj toConj()

toConjNoType

public Conj toConjNoType()

toTrueConjNoType

public Conj toTrueConjNoType()

toTrueConj

public Conj toTrueConj()

toFalseConj

public Conj toFalseConj()

toConj

public Conj toConj(boolean addtype,
                   boolean addtrue,
                   boolean addfalse)

toString

public java.lang.String toString()

toStringCWA

public java.lang.String toStringCWA()

toShortStringCWA

public java.lang.String toShortStringCWA()

getPredTable

public java.util.Map getPredTable(Pred p)

getMapTable

public java.util.Map getMapTable(Funct f)

getLang

public Lang getLang()

getConsts

public java.util.List getConsts()

getConsts

public java.util.List getConsts(Type t)

getRandomConst

public Const getRandomConst(Type t)

badConjequals

public boolean badConjequals(java.lang.Object o)

hashCode

public int hashCode()

simpleHashCode

public int simpleHashCode()

graphHashCode

public int graphHashCode()

equals

public boolean equals(java.lang.Object other)

simpleEquals

public boolean simpleEquals(java.lang.Object other)

graphEquals

public boolean graphEquals(java.lang.Object o)

makeGraphSubs

public Subs makeGraphSubs(World w)

orderObjects

public java.util.List orderObjects()

computeSignature

public java.util.List computeSignature(Const c)

compareSigs

public int compareSigs(java.util.List l1,
                       java.util.List l2,
                       java.util.List currentorder)

sigToInt

public int sigToInt(java.util.List l)

initRefCache

public void initRefCache()

resetRefCache

public void resetRefCache()

getRefCache

public java.util.Map getRefCache()

main

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

testing code