Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
com.google.ortools.sat.BoolVar Class Reference

Detailed Description

An Boolean variable.

Definition at line 20 of file BoolVar.java.

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

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:
  • ortools/java/com/google/ortools/sat/BoolVar.java
  • build/java/ortools-java/src/main/java/com/google/ortools/sat/BoolVar.java