class

PubGrub::PartialSolution

Inherits Reference < Object

Constructors

Instance methods

attempted
Source
backtrack(decision_level : Int32) : Nil
Source
decide(constraint : Constraint) : Nil
Source
decision_level
Source
decisions
Source
derive(constraint : Constraint, positive : Bool, cause : Incompatibility) : Nil
Source
relation(term : Term) : Relation
Source
satisfier(term : Term) : Assignment
Source
satisfies?(term : Term) : Bool
Source
unsatisfied
Source