class PubGrub::PartialSolution

• PubGrub::PartialSolution
• Reference
• Object

Defined in:

pubgrub/partial_solution.cr

Constructors

• .new

Instance Method Summary

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

Constructor Detail

Instance Method Detail