Package com.google.ortools.sat

Class NotBoolVar

java.lang.Object

com.google.ortools.sat.NotBoolVar

All Implemented Interfaces:

LinearArgument, Literal

public final class NotBoolVar
extends Object
implements Literal

The negation of a boolean variable. This class should not be used directly, Literal must be used instead.

Constructor Summary

Constructors

Constructor	Description
NotBoolVar(BoolVar boolVar)

Method Summary

Modifier and Type	Method	Description
LinearExpr	build()	Builds a linear expression.
int	getIndex()	returns the index in the literal in the underlying CpModelProto.
Literal	not()	Returns the negation of this literal.
String	toString()	Returns a short string describing this literal.

Methods inherited from class java.lang.Object

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

Constructor Details

NotBoolVar

public NotBoolVar(BoolVar boolVar)

Method Details

getIndex

public int getIndex()

returns the index in the literal in the underlying CpModelProto.

Specified by:

getIndex in interface Literal

not

public Literal not()

Returns the negation of this literal.

Specified by:

not in interface Literal

build

public LinearExpr build()

Description copied from interface: LinearArgument

Builds a linear expression.

Specified by:

build in interface LinearArgument

toString

public String toString()

Returns a short string describing this literal.

Overrides:

toString in class Object