com.google.ortools.sat.NotBoolVar Class 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.

Inheritance diagram for com.google.ortools.sat.NotBoolVar:

Public Member Functions
	NotBoolVar (BoolVar boolVar)
int	getIndex ()
Literal	not ()
LinearExpr	build ()
	LinearArgument interface.
String	toString ()
	NotBoolVar (BoolVar boolVar)
int	getIndex ()
Literal	not ()
LinearExpr	build ()
	LinearArgument interface.
String	toString ()

Constructor & Destructor Documentation

NotBoolVar() [1/2]

com.google.ortools.sat.NotBoolVar.NotBoolVar

(

BoolVar

boolVar

)

Definition at line 21 of file NotBoolVar.java.

NotBoolVar() [2/2]

com.google.ortools.sat.NotBoolVar.NotBoolVar

(

BoolVar

boolVar

)

Definition at line 21 of file NotBoolVar.java.

Member Function Documentation

build() [1/2]

LinearExpr com.google.ortools.sat.NotBoolVar.build

(

)

LinearArgument interface.

Implements com.google.ortools.sat.LinearArgument.

Definition at line 39 of file NotBoolVar.java.

build() [2/2]

LinearExpr com.google.ortools.sat.NotBoolVar.build

(

)

LinearArgument interface.

Implements com.google.ortools.sat.LinearArgument.

Definition at line 39 of file NotBoolVar.java.

getIndex() [1/2]

int com.google.ortools.sat.NotBoolVar.getIndex

(

)

returns the index in the literal in the underlying CpModelProto.

Implements com.google.ortools.sat.Literal.

Definition at line 27 of file NotBoolVar.java.

getIndex() [2/2]

int com.google.ortools.sat.NotBoolVar.getIndex

(

)

returns the index in the literal in the underlying CpModelProto.

Implements com.google.ortools.sat.Literal.

Definition at line 27 of file NotBoolVar.java.

not() [1/2]

Literal com.google.ortools.sat.NotBoolVar.not

(

)

Returns the negation of this literal.

Implements com.google.ortools.sat.Literal.

Definition at line 33 of file NotBoolVar.java.

not() [2/2]

Literal com.google.ortools.sat.NotBoolVar.not

(

)

Returns the negation of this literal.

Implements com.google.ortools.sat.Literal.

Definition at line 33 of file NotBoolVar.java.

toString() [1/2]

String com.google.ortools.sat.NotBoolVar.toString

(

)

Returns a short string describing this literal.

Definition at line 45 of file NotBoolVar.java.

toString() [2/2]

String com.google.ortools.sat.NotBoolVar.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 files:

• ortools/java/com/google/ortools/sat/NotBoolVar.java
• build/java/ortools-java/src/main/java/com/google/ortools/sat/NotBoolVar.java