Java Reference

Java Reference

Detailed Description

Interface to describe a boolean variable or its negation.

Definition at line 17 of file

Public Member Functions

int getIndex ()
Literal not ()
 Returns the Boolean negation of the current literal. More...
LinearExpr build ()
 Builds a linear expression. More...

Member Function Documentation

◆ build()

LinearExpr build ( )

Builds a linear expression.

Implemented in AffineExpression, ConstantExpression, IntVar, LinearExprBuilder, NotBoolVar, and WeightedSumExpression.

◆ getIndex()

int getIndex ( )

Implemented in NotBoolVar.

◆ not()

Literal not ( )

Returns the Boolean negation of the current literal.

Implemented in BoolVar, and NotBoolVar.

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