Java Reference

Java Reference

Detailed Description

An Boolean variable.

Definition at line 20 of file BoolVar.java.

Public Member Functions

Literal not ()
 Returns the negation of a boolean variable. More...
 
String toString ()
 
String getName ()
 Returns the name of the variable given upon creation. More...
 
int getIndex ()
 Returns the index of the variable in the underlying CpModelProto. More...
 
IntegerVariableProto.Builder getBuilder ()
 Returns the variable protobuf builder. More...
 
LinearExpr build ()
 Builds a linear expression. More...
 
String displayBounds ()
 Returns the domain as a string without the enclosing []. More...
 
Domain getDomain ()
 Returns the domain of the variable. More...
 
int getIndex ()
 

Protected Attributes

final CpModelProto.Builder modelBuilder
 
final int variableIndex
 
final IntegerVariableProto.Builder varBuilder
 

Member Function Documentation

◆ build()

LinearExpr build ( )
inherited

Builds a linear expression.

Implements LinearArgument.

Definition at line 55 of file IntVar.java.

◆ displayBounds()

String displayBounds ( )
inherited

Returns the domain as a string without the enclosing [].

Definition at line 60 of file IntVar.java.

◆ getBuilder()

IntegerVariableProto.Builder getBuilder ( )
inherited

Returns the variable protobuf builder.

Definition at line 49 of file IntVar.java.

◆ getDomain()

Domain getDomain ( )
inherited

Returns the domain of the variable.

Definition at line 76 of file IntVar.java.

◆ getIndex() [1/2]

int getIndex ( )
inherited

Returns the index of the variable in the underlying CpModelProto.

Definition at line 44 of file IntVar.java.

◆ getIndex() [2/2]

int getIndex ( )
inherited

Implemented in NotBoolVar.

◆ getName()

String getName ( )
inherited

Returns the name of the variable given upon creation.

Definition at line 39 of file IntVar.java.

◆ not()

Literal not ( )

Returns the negation of a boolean variable.

Implements Literal.

Definition at line 33 of file BoolVar.java.

◆ toString()

String toString ( )

Reimplemented from IntVar.

Definition at line 41 of file BoolVar.java.

Member Data Documentation

◆ modelBuilder

final CpModelProto.Builder modelBuilder
protectedinherited

Definition at line 93 of file IntVar.java.

◆ varBuilder

final IntegerVariableProto.Builder varBuilder
protectedinherited

Definition at line 95 of file IntVar.java.

◆ variableIndex

final int variableIndex
protectedinherited

Definition at line 94 of file IntVar.java.


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