public class VariableTemporalConstraint<A> extends TemporalConstraint
Constraint.TypetemporalPredicate, var1predicateInformationFALSE, TRUE| Constructor and Description |
|---|
VariableTemporalConstraint(String exprId,
Variable<A> var1,
Function1<?,?> f1,
Variable<?> var2,
Function1<?,?> f2,
TemporalPredicate temporalPredicate) |
VariableTemporalConstraint(VariableTemporalExprViewItem<A> expr) |
| Modifier and Type | Method and Description |
|---|---|
Function1<?,?> |
getF1() |
Function1<?,?> |
getF2() |
Variable[] |
getVariables() |
boolean |
isEqualTo(ModelComponent o) |
VariableTemporalConstraint<A> |
negate() |
VariableTemporalConstraint<A> |
replaceVariable(Variable oldVar,
Variable newVar) |
String |
toString() |
createTemporalConstraint, getPredicate, getTemporalPredicate, isTemporalfromExpr, getChildren, getExprId, getIndex, getReactiveProps, getReactivityBitMask, negate, predicateInformation, setIndex, setReactivitySpecsand, cloneConstraint, or, withclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitcreateConstraint, getPredicate1, getPredicate2, getTypeareEqualInModel, areEqualInModel, areEqualInModel, areEqualInModelpublic VariableTemporalConstraint(String exprId, Variable<A> var1, Function1<?,?> f1, Variable<?> var2, Function1<?,?> f2, TemporalPredicate temporalPredicate)
public VariableTemporalConstraint(VariableTemporalExprViewItem<A> expr)
public Variable[] getVariables()
public boolean isEqualTo(ModelComponent o)
public Function1<?,?> getF1()
getF1 in class TemporalConstraintpublic Function1<?,?> getF2()
getF2 in class TemporalConstraintpublic VariableTemporalConstraint<A> negate()
public VariableTemporalConstraint<A> replaceVariable(Variable oldVar, Variable newVar)
public String toString()
toString in class AbstractSingleConstraintCopyright © 2001–2021 JBoss by Red Hat. All rights reserved.