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