rules
Class Outcome

java.lang.Object
  rules.Outcome

All Implemented Interfaces:

java.lang.Cloneable

public class Outcome

extends java.lang.Object

implements java.lang.Cloneable

Field Summary

static int	NO_PICK
static int	PICK_ALL
static int	PICK_ONE

Method Summary

void	addToBody(Lit l)
Outcome	apply(Subs s)
Outcome	applyInPlace(Subs s)
boolean	bodyContains(Lit l)
java.lang.Object	clone()
boolean	conceptFitsExample(Rule r, Example e)
boolean	couldCover(Example eg, Subs s)
boolean	covers(Example eg, Subs s)
boolean	coversSome(Rule r, java.util.List examples)
java.util.List	egsCache()
boolean	equals(java.lang.Object other)
java.util.List	exampleConceptObjects(Rule r, Example e)
void	fillCacheCouldCover(Rule r, java.util.List examples)
void	fillCacheCovers(Rule r, java.util.List examples)
void	findChangeLits(Subs s, Example e, Var v, java.util.List lits)
Lit	getCC()
java.util.Set	getConsts()
Var	getFreeVar()
Conj	getNext()
int	getPick()
java.util.Set	getVars()
boolean	hasGoodConcept(Rule r, java.util.List examples)
static void	main(java.lang.String[] args)
Outcome	merge(Outcome other, boolean hashp)
boolean	mistyped()
boolean	mistyped(Subs s)
boolean	noNext()
int	numPreds()
boolean	occurs(Term t)
int	penalty()
boolean	pickallcouldcover(Example eg, Subs s)
int	pickallcovers(Example eg, Subs s, java.util.List objs, Conj changeSet)
boolean	picknonecouldcover(Example eg, Subs s)
int	picknonecovers(Example eg, Subs s, Conj changeSet)
boolean	pickonecouldcover(Example eg, Subs s)
int	pickonecovers(Example eg, Subs s, java.util.List objs)
void	removeFromBody(Lit l)
void	setPicking(int id, Lit concept, Var fv, Outcome subo)
java.lang.String	toFileString()
java.lang.String	toShortString()
java.lang.String	toString()
World	transition(World w, Subs s) Create the world S^t+1 given the world S^t.

Methods inherited from class java.lang.Object

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

Field Detail

PICK_ONE

public static int PICK_ONE

PICK_ALL

public static int PICK_ALL

NO_PICK

public static int NO_PICK

Method Detail

merge

public Outcome merge(Outcome other,
                     boolean hashp)

setPicking

public void setPicking(int id,
                       Lit concept,
                       Var fv,
                       Outcome subo)

clone

public java.lang.Object clone()

equals

public boolean equals(java.lang.Object other)

mistyped

public boolean mistyped()

mistyped

public boolean mistyped(Subs s)

getVars

public java.util.Set getVars()

covers

public boolean covers(Example eg,
                      Subs s)

couldCover

public boolean couldCover(Example eg,
                          Subs s)

picknonecovers

public int picknonecovers(Example eg,
                          Subs s,
                          Conj changeSet)

picknonecouldcover

public boolean picknonecouldcover(Example eg,
                                  Subs s)

pickallcovers

public int pickallcovers(Example eg,
                         Subs s,
                         java.util.List objs,
                         Conj changeSet)

pickallcouldcover

public boolean pickallcouldcover(Example eg,
                                 Subs s)

pickonecovers

public int pickonecovers(Example eg,
                         Subs s,
                         java.util.List objs)

pickonecouldcover

public boolean pickonecouldcover(Example eg,
                                 Subs s)

fillCacheCovers

public void fillCacheCovers(Rule r,
                            java.util.List examples)

fillCacheCouldCover

public void fillCacheCouldCover(Rule r,
                                java.util.List examples)

egsCache

public java.util.List egsCache()

coversSome

public boolean coversSome(Rule r,
                          java.util.List examples)

hasGoodConcept

public boolean hasGoodConcept(Rule r,
                              java.util.List examples)

conceptFitsExample

public boolean conceptFitsExample(Rule r,
                                  Example e)

exampleConceptObjects

public java.util.List exampleConceptObjects(Rule r,
                                            Example e)

findChangeLits

public void findChangeLits(Subs s,
                           Example e,
                           Var v,
                           java.util.List lits)

noNext

public boolean noNext()

numPreds

public int numPreds()

addToBody

public void addToBody(Lit l)

removeFromBody

public void removeFromBody(Lit l)

bodyContains

public boolean bodyContains(Lit l)

transition

public World transition(World w,
                        Subs s)

Create the world S^t+1 given the world S^t.

Parameters:

w - the world S^t

Returns:

the world S^t+1

getPick

public int getPick()

getNext

public Conj getNext()

penalty

public int penalty()

applyInPlace

public Outcome applyInPlace(Subs s)

apply

public Outcome apply(Subs s)

occurs

public boolean occurs(Term t)

toString

public java.lang.String toString()

toFileString

public java.lang.String toFileString()

toShortString

public java.lang.String toShortString()

getFreeVar

public Var getFreeVar()

getCC

public Lit getCC()

getConsts

public java.util.Set getConsts()

main

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