public class PathAnalysis
extends java.lang.Object
| Constructor and Description |
|---|
PathAnalysis(ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue returnValue,
java.util.List<ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue.ComparisonValue> conditions) |
| Modifier and Type | Method and Description |
|---|---|
java.util.List<ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue.ComparisonValue> |
getConditions() |
ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue |
getIsTrueReturnValue() |
ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue |
getReturnValue() |
java.util.List<ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue> |
getSimplifiedBooleanConditions() |
ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue |
getSimplifiedBooleanReturnValue() |
java.util.List<ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue> |
getSimplifiedConditions() |
ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue |
getSimplifiedIsTrueReturnValue() |
ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue |
getSimplifiedReturnValue() |
void |
removeConditionIndex(int i) |
public PathAnalysis(ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue returnValue,
java.util.List<ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue.ComparisonValue> conditions)
public ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue getReturnValue()
public ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue getSimplifiedReturnValue()
public ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue getIsTrueReturnValue()
public ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue getSimplifiedBooleanReturnValue()
public ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue getSimplifiedIsTrueReturnValue()
public java.util.List<ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue.ComparisonValue> getConditions()
public java.util.List<ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue> getSimplifiedConditions()
public java.util.List<ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue> getSimplifiedBooleanConditions()
public void removeConditionIndex(int i)
Copyright © 2014. All Rights Reserved.