Class NotBoolVar

  • All Implemented Interfaces:
    LinearArgument, Literal

    public final class NotBoolVar
    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
      NotBoolVar​(BoolVar boolVar)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      LinearExpr build()
      Builds a linear expression.
      int getIndex()
      returns the index in the literal in the underlying CpModelProto.
      Literal not()
      Returns the negation of this literal.
      java.lang.String toString()
      Returns a short string describing this literal.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • NotBoolVar

        public NotBoolVar​(BoolVar boolVar)
    • Method Detail

      • getIndex

        public int getIndex()
        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
      • toString

        public java.lang.String toString()
        Returns a short string describing this literal.
        Overrides:
        toString in class java.lang.Object