Package com.google.ortools.sat
Interface Literal
-
- All Superinterfaces:
LinearArgument
- All Known Implementing Classes:
BoolVar,NotBoolVar
public interface Literal extends LinearArgument
Interface to describe a boolean variable or its negation.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description intgetIndex()Literalnot()Returns the Boolean negation of the current literal.-
Methods inherited from interface com.google.ortools.sat.LinearArgument
build
-
-
-
-
Method Detail
-
getIndex
int getIndex()
-
not
Literal not()
Returns the Boolean negation of the current literal.
-
-