class ORTools::Sat::BoolVar

Overview

A subclass of IntVar for Booleans where 0 is false and 1 is true

Defined in:

ortools-sat/int-var.cr

Instance Method Summary

Instance methods inherited from class ORTools::Sat::IntVar

!=(other : Expressible) !=, +(other : Expressible) +, -(other : Expressible)
- : self -, <(other : Expressible) <, <=(other : Expressible) <=, ==(other : Expressible) ==, >(other : Expressible) >, >=(other : Expressible) >=, index : Int32 index, to_lexpr : LinearExpression to_lexpr

Constructor methods inherited from class ORTools::Sat::IntVar

new(index : Int32) new

Class methods inherited from class ORTools::Sat::IntVar

zero zero

Instance Method Detail

def ~ : self #

[View source]
def not : self #

[View source]
def to_lexpr : LinearExpression #

For a BoolVar a negative index is the logical NOT, i.e. (1 - x), matching ValidSolution#value(BoolVar).


[View source]