Package com.google.ortools.sat

Class BoolVar

java.lang.Object

com.google.ortools.sat.IntVar

com.google.ortools.sat.BoolVar

All Implemented Interfaces:

LinearArgument, Literal

public final class BoolVar
extends IntVar
implements Literal

An Boolean variable.

Field Summary

Fields inherited from class com.google.ortools.sat.IntVar

modelBuilder, varBuilder, variableIndex

Method Summary

Modifier and Type	Method	Description
Literal	not()	Returns the negation of a boolean variable.
String	toString()

Methods inherited from class com.google.ortools.sat.IntVar

build, displayBounds, getBuilder, getDomain, getIndex, getName

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.google.ortools.sat.LinearArgument

build

Methods inherited from interface com.google.ortools.sat.Literal

getIndex

Method Details

not

public Literal not()

Returns the negation of a boolean variable.

Specified by:

not in interface Literal

toString

public String toString()

Overrides:

toString in class IntVar