public class FixedTemporalConstraint<A> extends TemporalConstraint
Constraint.Type
temporalPredicate, var1
FALSE, 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, isTemporal
fromExpr, getChildren, getExprId, getIndex, getReactiveProps, getReactivityBitMask, negate, setIndex, setReactivitySpecs
and, or, with
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
createConstraint, getPredicate1, getType
areEqualInModel, areEqualInModel, areEqualInModel, areEqualInModel
public 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 TemporalConstraint
public Function1<?,?> getF2()
getF2
in class TemporalConstraint
public FixedTemporalConstraint<A> negate()
public FixedTemporalConstraint replaceVariable(Variable oldVar, Variable newVar)
public String toString()
toString
in class AbstractSingleConstraint
Copyright © 2001–2020 JBoss by Red Hat. All rights reserved.