public class FixedTemporalConstraint<A> extends TemporalConstraint
Constraint.TypetemporalPredicate, var1predicateInformationFALSE, TRUE| Constructor and Description |
|---|
FixedTemporalConstraint(FixedTemporalExprViewItem<A> expr) |
FixedTemporalConstraint(String exprId,
Variable<A> var1,
Function1<?,?> func,
long value,
TemporalPredicate temporalPredicate) |
| Modifier and Type | Method and Description |
|---|---|
Function1<?,?> |
getF1() |
Function1<?,?> |
getF2() |
long |
getValue() |
Variable[] |
getVariables() |
boolean |
isEqualTo(ModelComponent o) |
FixedTemporalConstraint<A> |
negate() |
FixedTemporalConstraint |
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 FixedTemporalConstraint(String exprId, Variable<A> var1, Function1<?,?> func, long value, TemporalPredicate temporalPredicate)
public FixedTemporalConstraint(FixedTemporalExprViewItem<A> expr)
public Variable[] getVariables()
public long getValue()
public boolean isEqualTo(ModelComponent o)
public Function1<?,?> getF1()
getF1 in class TemporalConstraintpublic Function1<?,?> getF2()
getF2 in class TemporalConstraintpublic FixedTemporalConstraint<A> negate()
public FixedTemporalConstraint replaceVariable(Variable oldVar, Variable newVar)
public String toString()
toString in class AbstractSingleConstraintCopyright © 2001–2021 JBoss by Red Hat. All rights reserved.