Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

How to add condition based on a boolean value?

See original GitHub issue

Experienced with choco-solver-{4.0.5}

In Choco Solver 2, if we had to add a constraint that some boolean variable(for eg v2) must be true when some boolean variable(for eg v1) is true, we would write it as follows:

Constraint c = Choco.implies(Choco.eq(v1,1), Choco.eq(v2,1));

How can we acheive the same thing in ChocoSolver 4.0.5 ?

Issue Analytics

State:
Created 6 years ago
Comments:9 (4 by maintainers)

Top GitHub Comments

1reaction

jgFagescommented, Oct 9, 2017

ah lol you wanted this: xA = A.reify(); xB = B.reify(); xA = xB

0reactions

kunalsaprucommented, Oct 9, 2017

Oh. That’s easy. Many thanks.

Top Results From Across the Web

Conditionals with if/else & Booleans | AP CSP (article)

The condition is a Boolean expression: an expression that evaluates to either true or false . Boolean values are another type of data...

Create conditional (Boolean) expressions - Microsoft Support

This article explains how to create conditional (also known as Boolean) expressions in Access. A conditional expression evaluates to either true or false,...

boolean variable with conditions - Stack Overflow

I want to declare a boolean variable with the identifier condition5 and assign it a value based on the following instructions:.

9. Working with Booleans and Conditional Statements

If it evaluates to true , the first block of statements is executed. If the condition (which is a Boolean expression) evaluates to...

If Statements

An if statement checks a boolean value and only executes a block of code if that value is true . To write an...