Package com.google.ortools.sat

Class NotBooleanVariable

java.lang.Object
com.google.ortools.sat.NotBooleanVariable
All Implemented Interfaces:
Literal
public final class NotBooleanVariable
extends java.lang.Object
implements Literal
The negation of a boolean variable. This class should not be used directly, Literal must be used instead.

  • Constructor Summary

    Constructors
    Constructor Description
    NotBooleanVariable​(IntVar boolVar)  

  • Method Summary

    Modifier and Type Method Description
    int getIndex()
    Internal: returns the index in the literal in the underlying CpModelProto.
    java.lang.String getShortString()
    Returns a short string describing this literal.
    Literal not()
    Returns the negation of this literal.

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Constructor Details

    • NotBooleanVariable

      public NotBooleanVariable​(IntVar boolVar)

  • Method Details

    • getIndex

      public int getIndex()
      Internal: returns the index in the literal in the underlying CpModelProto.
      Specified by:
      getIndex in interface Literal

    • not

      public Literal not()
      Returns the negation of this literal.
      Specified by:
      not in interface Literal

    • getShortString

      public java.lang.String getShortString()
      Returns a short string describing this literal.
      Specified by:
      getShortString in interface Literal