public class Literal extends LiteralAbstract2
Because so many methods are defined at the Literal level, the code files are broken into 3 classes:
stdLitType
argCodes, args, cancellingPredsA, cancellingPredsB, cancelPredsA, cancelPredsB, debugSerial, expansionSerial, failReason, generalPreds, genPreds, negativeConstraintPhase, oppoPredsA, oppoPredsB, oppositePredsA, oppositePredsB, predicate, stdAlter, stdEgo
Constructor and Description |
---|
Literal()
This zero-arg constructor is for use ONLY by Serialization or for 'dummy' literals.
|
Literal(Predicate pred)
Standard constructor with just the predicate supplied.
|
Literal(Predicate pred,
Argument arg0)
Standard constructor with the predicate + 1 argument supplied.
|
Literal(Predicate pred,
Argument arg0,
Argument arg1)
Standard constructor with the predicate + 2 arguments supplied.
|
Literal(Predicate pred,
java.util.ArrayList<java.lang.Object> argArray)
Standard constructor with the predicate and an ArrayList
|
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
bindingVal() |
int |
compare(java.lang.Object o1,
java.lang.Object o2) |
boolean |
equals(java.lang.Object obj) |
void |
reverseArgs() |
void |
updatePath(java.util.ArrayList<java.lang.Object> path,
java.util.ArrayList<java.lang.Object> pathCopy) |
addToPCString, addToPCString, assignDivDate, createPersonalStarLink, lastChanceToValue, meetsStarSpecsStrictly, newUDPVal, pickUDPs, setDifference, undoPersonalStarLink
apply, computeLevel, constraintCheck, constraintPred, containsAll, copy, countArgs, expand, finalConstraintCheck, finishExpansion, genderInferences, isEquivalent, lits2MiniStrings, mergeWith, neg_expand, setClosureOf, toString
public Literal()
public Literal(Predicate pred)
pred
- the predicate of this Literal.public Literal(Predicate pred, Argument arg0)
pred
- the predicate of this Literal.arg0
- the first argument of this Literal.public Literal(Predicate pred, Argument arg0, Argument arg1)
pred
- the predicate of this Literal.arg0
- the first argument of this Literal.arg1
- the second argument of this Literal.public Literal(Predicate pred, java.util.ArrayList<java.lang.Object> argArray)
pred
- the predicate of this Literal.argArray
- the arguments of this Literal.public java.lang.Object bindingVal()
bindingVal
in class Argument
public void reverseArgs() throws KSInternalErrorException
KSInternalErrorException
public void updatePath(java.util.ArrayList<java.lang.Object> path, java.util.ArrayList<java.lang.Object> pathCopy)
updatePath
in class LiteralAbstract1
public int compare(java.lang.Object o1, java.lang.Object o2)