Package com.google.ortools.sat

Interface Literal

All Known Implementing Classes:
IntVar, NotBooleanVariable
public interface Literal
Interface to describe a boolean variable or its negation.

  • Method Summary

    Modifier and Type Method Description
    int getIndex()  
    java.lang.String getShortString()
    Returns a short string to describe the literal.
    Literal not()
    Returns the Boolean negation of the current literal.

  • Method Details

    • getIndex

      int getIndex()

    • not

      Literal not()
      Returns the Boolean negation of the current literal.

    • getShortString

      java.lang.String getShortString()
      Returns a short string to describe the literal.