public final class InternalOperation
extends java.lang.Object
public static InternalOperation makeGetEnv(LogicTuple t)
t
- the tuple argument of this internal operationpublic static InternalOperation makeGetR(LogicTuple t)
t
- the tuple argument of this internal operationpublic static InternalOperation makeGetSR(LogicTuple t)
t
- the tuple argument of this internal operationpublic static InternalOperation makeInAllR(LogicTuple t)
t
- the tuple argument of this internal operationpublic static InternalOperation makeInR(LogicTuple t)
t
- the tuple argument of this internal operationpublic static InternalOperation makeInSR(LogicTuple t)
t
- the tuple argument of this internal operationpublic static InternalOperation makeNoAllR(LogicTuple t)
t
- the tuple argument of this internal operationpublic static InternalOperation makeNoR(LogicTuple t)
t
- the tuple argument of this internal operationpublic static InternalOperation makeNoSR(LogicTuple t)
t
- the tuple argument of this internal operationpublic static InternalOperation makeOutAllR(LogicTuple t)
t
- the tuple argument of this internal operationpublic static InternalOperation makeOutR(LogicTuple t)
t
- the tuple argument of this internal operationpublic static InternalOperation makeOutSR(LogicTuple t)
t
- the tuple argument of this internal operationpublic static InternalOperation makeRdAllR(LogicTuple t)
t
- the tuple argument of this internal operationpublic static InternalOperation makeRdR(LogicTuple t)
t
- the tuple argument of this internal operationpublic static InternalOperation makeRdSR(LogicTuple t)
t
- the tuple argument of this internal operationpublic static InternalOperation makeSetEnv(LogicTuple t)
t
- the tuple argument of this internal operationpublic static InternalOperation makeSetR(LogicTuple t)
t
- the tuple argument of this internal operationpublic static InternalOperation makeSetSR(LogicTuple t)
t
- the tuple argument of this internal operationpublic static InternalOperation makeSpawnR(LogicTuple t)
t
- the tuple argument of this internal operationpublic static InternalOperation makeUinR(LogicTuple t)
t
- the tuple argument of this internal operationpublic static InternalOperation makeUnoR(LogicTuple t)
t
- the tuple argument of this internal operationpublic static InternalOperation makeUrdR(LogicTuple t)
t
- the tuple argument of this internal operationpublic LogicTuple getArgument()
public LogicTuple getResult()
public boolean isGetEnv()
true
if this is a get_envpublic boolean isGetR()
true
if this is a getpublic boolean isGetSR()
true
if this is a get_spublic boolean isInAllR()
true
if this is a in_allpublic boolean isInR()
true
if this is a inpublic boolean isInSR()
true
if this is a in_spublic boolean isNoAllR()
true
if this is a no_allpublic boolean isNoR()
true
if this is a nopublic boolean isNoSR()
true
if this is a no_spublic boolean isOutAllR()
true
if this is a out_allpublic boolean isOutR()
true
if this is a outpublic boolean isOutSR()
true
if this is a out_spublic boolean isRdAllR()
true
if this is a rd_allpublic boolean isRdR()
true
if this is a rdpublic boolean isRdSR()
true
if this is a rd_spublic boolean isSetEnv()
true
if this is a set_envpublic boolean isSetR()
true
if this is a setpublic boolean isSetSR()
true
if this is a set_spublic boolean isSpawnR()
true
if this is a spawnpublic boolean isUinR()
true
if this is a uinpublic boolean isUnoR()
true
if this is a unopublic boolean isUrdR()
true
if this is a urdpublic void setResult(LogicTuple t)
t
- the tuple result of this internal operationpublic java.lang.String toString()
toString
in class java.lang.Object
public LogicTuple toTuple()