class Roby::EventConstraints::UnboundTaskPredicate::Negate

Representation of predicates UnboundPredicateSupport#negate and UnboundTaskPredicate#negate

See documentation from UnboundTaskPredicate

Attributes

predicate[R]

Public Class Methods

new(pred) click to toggle source
# File lib/roby/event_constraints.rb, line 406
def initialize(pred)
    @predicate = pred
end

Public Instance Methods

==(pred) click to toggle source
# File lib/roby/event_constraints.rb, line 410
def ==(pred); pred.kind_of?(Negate) && pred.predicate == predicate end
code() click to toggle source
# File lib/roby/event_constraints.rb, line 417
def code
    "!(#{predicate.code})"
end
explain_false(task) click to toggle source
# File lib/roby/event_constraints.rb, line 413
def explain_false(task); predicate.explain_true(task)  end
explain_static(task) click to toggle source
# File lib/roby/event_constraints.rb, line 414
def explain_static(task); predicate.explain_static(task) end
explain_true(task) click to toggle source
# File lib/roby/event_constraints.rb, line 412
def explain_true(task);  predicate.explain_false(task) end
required_events() click to toggle source
# File lib/roby/event_constraints.rb, line 416
def required_events; predicate.required_events end
static?(task) click to toggle source
# File lib/roby/event_constraints.rb, line 420
def static?(task); predicate.static?(task) end
to_s() click to toggle source
# File lib/roby/event_constraints.rb, line 421
def to_s; "!#{predicate}" end