struct

Sat::Literal

Inherits Struct < Value < Object

Constructors

new(var : Int32, negated : Bool)

Instance methods

~

negated

negated=(negated : Bool)

to_integer

var

var=(var : Var)