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

Modifier and Type	Method and Description
int	getIndex()
Literal	not() 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.