Skip to content

Commit 817c9b3

Browse files
return 1 - boolvar_
1 parent 6268cbc commit 817c9b3

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

ortools/sat/csharp/IntegerExpressions.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -846,7 +846,7 @@ public ILiteral Not()
846846

847847
public LinearExpr AsExpr()
848848
{
849-
return this;
849+
return 1 - boolvar_;
850850
}
851851

852852
public LinearExpr NotAsExpr()

0 commit comments

Comments
 (0)