class

Asp::Program

Inherits Iterator < Enumerable < Reference < Object

Constructors

Instance methods

addConstraint(*body)
Source
addConstraintFromArray(body)
Source
addFact(head)
Source
addRule(*body, implies head)
Source
addRuleFromArray(body, implies head)
Source
associateWeight(w : Int64, with atom)
Source
atoms
Source
determineDependences
Source
determineLevels
Source
level
Source
maximize
Source
minimize
Source
next

Returns the next element in this iterator, or Iterator::Stop::INSTANCE if there are no more elements.

Source
rules
Source