rules
Class DeicticRef

java.lang.Object
  rules.DeicticRef

All Implemented Interfaces:

java.lang.Cloneable

public class DeicticRef

extends java.lang.Object

implements java.lang.Cloneable

Field Summary

static int	FOR_EACH
static int	FOR_THE
static boolean	trimRefs

Constructor Summary

DeicticRef()

DeicticRef(java.lang.String s, Lang l)

DeicticRef(Var v)

DeicticRef(Var v, Conj c)

Method Summary

void	addToDef(Lit l)
DeicticRef	apply(Subs s)
java.lang.Object	clone()
java.util.Iterator	defIterator()
boolean	equals(java.lang.Object other)
Subs	extendActionSubs(World w, Subs s)
java.util.List	extendActionSubsList(World w, Subs s)
Conj	getDef()
Const	getRefIn(World w, Subs s)
java.util.List	getRefsIn(World w, Subs s)
Var	getVar()
boolean	isForeach()
static DeicticRef	makeRefFor(java.lang.String name, World w, Subs s, Const c, Conj con)
static DeicticRef	makeRefFor(World w, Subs s, Const c, Conj con)
void	remFromDef(Lit l)
java.lang.String	toFileString()
java.lang.String	toSS()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

FOR_THE

public static int FOR_THE

FOR_EACH

public static int FOR_EACH

trimRefs

public static boolean trimRefs

Constructor Detail

DeicticRef

public DeicticRef()

DeicticRef

public DeicticRef(Var v,
                  Conj c)

DeicticRef

public DeicticRef(Var v)

DeicticRef

public DeicticRef(java.lang.String s,
                  Lang l)

Method Detail

makeRefFor

public static DeicticRef makeRefFor(World w,
                                    Subs s,
                                    Const c,
                                    Conj con)

makeRefFor

public static DeicticRef makeRefFor(java.lang.String name,
                                    World w,
                                    Subs s,
                                    Const c,
                                    Conj con)

apply

public DeicticRef apply(Subs s)

equals

public boolean equals(java.lang.Object other)

clone

public java.lang.Object clone()

addToDef

public void addToDef(Lit l)

remFromDef

public void remFromDef(Lit l)

getVar

public Var getVar()

extendActionSubsList

public java.util.List extendActionSubsList(World w,
                                           Subs s)

extendActionSubs

public Subs extendActionSubs(World w,
                             Subs s)

getRefIn

public Const getRefIn(World w,
                      Subs s)

getRefsIn

public java.util.List getRefsIn(World w,
                                Subs s)

isForeach

public boolean isForeach()

getDef

public Conj getDef()

defIterator

public java.util.Iterator defIterator()

toString

public java.lang.String toString()

toFileString

public java.lang.String toFileString()

toSS

public java.lang.String toSS()