wfn_arc.h

Go to the documentation of this file.

/*
 * Copyright (c) 2012-2026, QORE Lab, Imperial College London
 * All rights reserved.
 */
#ifndef LINE_API_WFN_WFN_ARC_H
#define LINE_API_WFN_WFN_ARC_H
 
/**
 * @file
 * @ingroup api_wfn
 * An arc of a WorkflowNet, from a place to a transition or from a transition to a place.
 *
 * MATLAB twin: matlab/src/api/wfn/WFNArc.m
 */
 
#include <string>
 
#include "line/api/wfn/wfn_place.h"
#include "line/api/wfn/wfn_transition.h"
 
namespace line {
namespace wfn {
 
class WFNArc {
public:
    /** True for place -> transition, false for transition -> place. */
    bool from_place() const { return from_place_; }
    const WFNPlace& place() const { return *place_; }
    const WFNTransition& transition() const { return *transition_; }
    /** A positive integer, the tokens moved per firing. */
    double weight() const { return weight_; }
 
    const std::string& source_name() const { return from_place_ ? place_->name() : transition_->name(); }
    const std::string& target_name() const { return from_place_ ? transition_->name() : place_->name(); }
 
private:
    friend class WorkflowNet;
    WFNArc(bool from_place, const WFNPlace* place, const WFNTransition* transition, double weight)
        : from_place_(from_place), place_(place), transition_(transition), weight_(weight) {}
 
    bool from_place_;
    const WFNPlace* place_;
    const WFNTransition* transition_;
    double weight_;
};
 
}  // namespace wfn
}  // namespace line
 
#endif  // LINE_API_WFN_WFN_ARC_H