|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsota.ast.nodes.Condition
sota.lang.java.ast.nodes.JavaCondition
public class JavaCondition
AST-Knoten für Konditionknoten
Field Summary |
---|
Fields inherited from class sota.ast.nodes.Condition |
---|
ascContent, atomId, conditionId, content, hasShortCircuit, isAtom, isEmpty, isFalseAtom, isOperator, isPrimary, isTrueAtom, leftCondition, metrics, nrConditions, nrFalseEvaluations, nrTrueEvaluations, rightCondition, shortCircuitValue |
Constructor Summary | |
---|---|
JavaCondition()
Konstruktor für eine leere, d.h. wahre Bedingung. |
|
JavaCondition(Condition lC,
java.lang.String op,
Condition rC)
Konstruktor für zusammengesetzte Bedingung (binärer Operator). |
|
JavaCondition(java.lang.String atom)
Konstruktor für atomare Bedingung. |
|
JavaCondition(java.lang.String op,
Condition rC)
Konstruktor für zusammengesezte Bedingung (Unär -> !) |
Method Summary | |
---|---|
boolean |
applyTruthVector(java.lang.String s)
|
int[] |
computeNrAtomCombinations()
|
int |
countNrAtoms()
|
boolean |
evaluateTruthVector(java.lang.String s)
|
Condition |
getAtomCondition(int i)
|
java.util.ArrayList<java.lang.Integer[]> |
getAtomEvaluation(java.util.ArrayList<java.lang.Integer[]> l)
|
java.util.ArrayList<java.lang.Integer[]> |
getConditionEvaluation(java.util.ArrayList<java.lang.Integer[]> l)
|
java.lang.String |
getEvaluatedTVString(java.lang.String s)
Berechnet aus einem Truthvector einen Belegungstring. |
java.lang.String |
toASCString(java.lang.String s)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public JavaCondition()
public JavaCondition(Condition lC, java.lang.String op, Condition rC)
lC
- linke Bedingungop
- der OperatorrC
- rechte Bedingungpublic JavaCondition(java.lang.String atom)
atom
- das Atompublic JavaCondition(java.lang.String op, Condition rC)
op
- der OperatorrC
- rechte BedingungMethod Detail |
---|
public boolean applyTruthVector(java.lang.String s)
applyTruthVector
in class Condition
public int[] computeNrAtomCombinations()
computeNrAtomCombinations
in class Condition
public int countNrAtoms()
countNrAtoms
in class Condition
public boolean evaluateTruthVector(java.lang.String s)
evaluateTruthVector
in class Condition
public Condition getAtomCondition(int i)
getAtomCondition
in class Condition
public java.util.ArrayList<java.lang.Integer[]> getAtomEvaluation(java.util.ArrayList<java.lang.Integer[]> l)
getAtomEvaluation
in class Condition
public java.util.ArrayList<java.lang.Integer[]> getConditionEvaluation(java.util.ArrayList<java.lang.Integer[]> l)
getConditionEvaluation
in class Condition
public java.lang.String getEvaluatedTVString(java.lang.String s)
Condition
getEvaluatedTVString
in class Condition
s
- Der TruthVector, der umgewandelt werden soll.
public java.lang.String toASCString(java.lang.String s)
toASCString
in class Condition
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |