class

PubGrub::Assignment

Inherits PubGrub::Term < Reference < Object

Constructors

new(constraint : Constraint, positive : Bool, decision_level : Int32, index : Int32, cause : Incompatibility | Nil)
Source

Class methods

decision(constraint : Constraint, decision_level : Int32, index : Int32)
Source

Instance methods

cause
Source
decision?
Source
decision_level
Source
index
Source