Google OR-Tools v9.9
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
com.google.ortools.sat.BoolVar Class Reference
Inheritance diagram for com.google.ortools.sat.BoolVar:
com.google.ortools.sat.IntVar com.google.ortools.sat.Literal com.google.ortools.sat.IntVar com.google.ortools.sat.Literal com.google.ortools.sat.LinearArgument com.google.ortools.sat.LinearArgument com.google.ortools.sat.LinearArgument com.google.ortools.sat.LinearArgument com.google.ortools.sat.LinearArgument com.google.ortools.sat.LinearArgument com.google.ortools.sat.LinearArgument com.google.ortools.sat.LinearArgument

Public Member Functions

Literal not ()
 
String toString ()
 
Literal not ()
 
String toString ()
 
- Public Member Functions inherited from com.google.ortools.sat.IntVar
String getName ()
 
int getIndex ()
 
IntegerVariableProto.Builder getBuilder ()
 
LinearExpr build ()
 LinearArgument interface.
 
String displayBounds ()
 
Domain getDomain ()
 
String getName ()
 
int getIndex ()
 
IntegerVariableProto.Builder getBuilder ()
 
LinearExpr build ()
 LinearArgument interface.
 
String displayBounds ()
 
Domain getDomain ()
 
- Public Member Functions inherited from com.google.ortools.sat.Literal
int getIndex ()
 
int getIndex ()
 

Additional Inherited Members

- Protected Attributes inherited from com.google.ortools.sat.IntVar
final CpModelProto.Builder modelBuilder
 
final int variableIndex
 
final IntegerVariableProto.Builder varBuilder
 

Detailed Description

An Boolean variable.

Definition at line 20 of file BoolVar.java.

Member Function Documentation

◆ not() [1/2]

Literal com.google.ortools.sat.BoolVar.not ( )

Returns the negation of a boolean variable.

Implements com.google.ortools.sat.Literal.

Definition at line 33 of file BoolVar.java.

◆ not() [2/2]

Literal com.google.ortools.sat.BoolVar.not ( )

Returns the negation of a boolean variable.

Implements com.google.ortools.sat.Literal.

Definition at line 33 of file BoolVar.java.

◆ toString() [1/2]

String com.google.ortools.sat.BoolVar.toString ( )

Reimplemented from com.google.ortools.sat.IntVar.

Definition at line 41 of file BoolVar.java.

◆ toString() [2/2]

String com.google.ortools.sat.BoolVar.toString ( )

Reimplemented from com.google.ortools.sat.IntVar.

Definition at line 41 of file BoolVar.java.


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