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