com.google.ortools.sat

Class NotBoolVar

java.lang.Object

com.google.ortools.sat.NotBoolVar

All Implemented Interfaces:

LinearArgument, Literal

public final class NotBoolVar
extends java.lang.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 and Description
NotBoolVar(BoolVar boolVar)

Method Summary

Modifier and Type	Method and 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.
java.lang.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 Detail

NotBoolVar

public NotBoolVar(BoolVar boolVar)

Method Detail

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 java.lang.String toString()

Returns a short string describing this literal.

Overrides:

toString in class java.lang.Object