Skip to content

Commit 19e5188

Browse files
committed
fixing #28
1 parent fd3d51e commit 19e5188

File tree

7 files changed

+7
-0
lines changed

7 files changed

+7
-0
lines changed

bin/cube-console-2.0.jar

2 Bytes
Binary file not shown.

bin/cube-core-2.0.jar

30 Bytes
Binary file not shown.

bin/cube-osgi-plugin-2.0.jar

2 Bytes
Binary file not shown.
2 Bytes
Binary file not shown.

bin/cube-web-console-2.0.jar

3 Bytes
Binary file not shown.
0 Bytes
Binary file not shown.

src/cube-core/src/main/java/fr/liglab/adele/cube/agent/defaults/resolver/ResolutionGraph.java

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -805,10 +805,16 @@ private boolean evaluateValue(Variable v) {
805805
info("checking object variable: " + v.getName());
806806
for (Constraint c : v.getConstraints()) {
807807
info("checking constraint: " + c.getName());
808+
808809
if (c.isObjectiveConstraint()) {
809810
if (c.isBinaryConstraint()) {
810811
info("avoiding to check objective constraint '"+c.getName() + "' used as description constraint!");
811812
continue;
813+
} else if (c.isUnaryConstraint()) {
814+
if (c.check(agent) == false) {
815+
info("constraint '"+c.getName()+"' returns FALSE!");
816+
return false;
817+
}
812818
}
813819
} else {
814820
// check direct constraint
@@ -826,6 +832,7 @@ private boolean evaluateValue(Variable v) {
826832

827833
}
828834
}
835+
829836
info("constraint '" + c.getName()+"' TRUE");
830837
}
831838
return true;

0 commit comments

Comments
 (0)