com.google.ortools.sat.Literal Interface Reference

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

Public Member Functions
int	getIndex ()
Literal	not ()
int	getIndex ()
Literal	not ()
Public Member Functions inherited from com.google.ortools.sat.LinearArgument
LinearExpr	build ()
LinearExpr	build ()

Detailed Description

Interface to describe a boolean variable or its negation.

Definition at line 17 of file Literal.java.

Member Function Documentation

getIndex() [1/2]

int com.google.ortools.sat.Literal.getIndex

(

)

Implemented in com.google.ortools.sat.NotBoolVar, and com.google.ortools.sat.NotBoolVar.

getIndex() [2/2]

int com.google.ortools.sat.Literal.getIndex

(

)

Implemented in com.google.ortools.sat.NotBoolVar, and com.google.ortools.sat.NotBoolVar.

not() [1/2]

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

(

)

Returns the Boolean negation of the current literal.

Implemented in com.google.ortools.sat.BoolVar, com.google.ortools.sat.NotBoolVar, com.google.ortools.sat.BoolVar, and com.google.ortools.sat.NotBoolVar.

not() [2/2]

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

(

)

Returns the Boolean negation of the current literal.

Implemented in com.google.ortools.sat.BoolVar, com.google.ortools.sat.NotBoolVar, com.google.ortools.sat.BoolVar, and com.google.ortools.sat.NotBoolVar.

---

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

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