Java Reference

Java Reference

Detailed Description

The negation of a boolean variable.

This class should not be used directly, Literal must be used instead.

Definition at line 20 of file NotBoolVar.java.

Public Member Functions

 NotBoolVar (BoolVar boolVar)
 
int getIndex ()
 returns the index in the literal in the underlying CpModelProto. More...
 
Literal not ()
 Returns the negation of this literal. More...
 
LinearExpr build ()
 Builds a linear expression. More...
 
String toString ()
 Returns a short string describing this literal. More...
 

Constructor & Destructor Documentation

◆ NotBoolVar()

NotBoolVar ( BoolVar  boolVar)

Definition at line 21 of file NotBoolVar.java.

Member Function Documentation

◆ build()

LinearExpr build ( )

Builds a linear expression.

Implements LinearArgument.

Definition at line 39 of file NotBoolVar.java.

◆ getIndex()

int getIndex ( )

returns the index in the literal in the underlying CpModelProto.

Implements Literal.

Definition at line 27 of file NotBoolVar.java.

◆ not()

Literal not ( )

Returns the negation of this literal.

Implements Literal.

Definition at line 33 of file NotBoolVar.java.

◆ toString()

String toString ( )

Returns a short string describing this literal.

Definition at line 45 of file NotBoolVar.java.


The documentation for this class was generated from the following file: