class PubGrub::Assignment
- PubGrub::Assignment
- PubGrub::Term
- Reference
- Object
Defined in:
pubgrub/assignment.crConstructors
Class Method Summary
Instance Method Summary
Instance methods inherited from class PubGrub::Term
constraint : Constraint
constraint,
difference(other : Term) : Term | Nil
difference,
intersect(other : Term) : Term
intersect,
inverse : Term
inverse,
package : Package
package,
positive? : Bool
positive?,
relation(other : Term) : Relation
relation,
satisfies?(other : Term) : Bool
satisfies?,
to_s(io : IO) : Nil
to_s
Constructor methods inherited from class PubGrub::Term
new(constraint : PubGrub::Constraint, positive : Bool)
new
Constructor Detail
def self.new(constraint : Constraint, positive : Bool, decision_level : Int32, index : Int32, cause : Incompatibility | Nil)
#