public interface DecisionOperator<V extends Variable> extends Serializable
Modifier and Type | Method and Description |
---|---|
boolean |
apply(V var,
int value,
ICause cause) |
DecisionOperator<V> |
opposite() |
String |
toString() |
boolean |
unapply(V var,
int value,
ICause cause) |
boolean apply(V var, int value, ICause cause) throws ContradictionException
ContradictionException
boolean unapply(V var, int value, ICause cause) throws ContradictionException
ContradictionException
DecisionOperator<V> opposite()
Copyright © 2018. All rights reserved.