class Roby::Transaction::ReachabilityTransactionVisitor
Attributes
plan_seeds[R]
transaction_set[R]
Public Class Methods
new(graph, transaction, plan_seeds, transaction_set)
click to toggle source
Calls superclass method
Roby::Transaction::ReachabilityVisitor::new
# File lib/roby/transaction.rb, line 1033 def initialize(graph, transaction, plan_seeds, transaction_set) super(graph, transaction) @plan_seeds = plan_seeds @transaction_set = transaction_set end
Public Instance Methods
handle_examine_vertex(v)
click to toggle source
# File lib/roby/transaction.rb, line 1039 def handle_examine_vertex(v) if (start_vertex != v) && transaction_set.include?(v) throw :reachable, true elsif v.transaction_proxy? plan_seeds << v.__getobj__ end end