The PfcAnalyst is a static class that provides analytical helper methods.
This is the default implementation of IPfcElementFactory, provided to the ProcedureFunctionChart.ElementFactory as a default. It creates a Step, Transition or Link element on demand from this library's default types.
Class LinkComparer orders links first by priority (default is zero) then by predecessor name, then by Guid. (Using Guid is a last resort to ensure repeatability.)
A collection of IPfcLinkElement objects that can be searched by name or by Guid.
A List of IPfcNode objects that can be searched by name or by Guid.
A collection of IPfcNode objects that can be searched by name or by Guid.
StructureViolationException is thrown when a Sequential Function Chart is has just undergone an illegal change in structure.
A PfcTransition acts as a Transition in a Pfc (Procedure Function Chart).
The TransitionComparer is used to sort transitions by their graph ordinals.
A collection of IPfcTransitionNode objects that can be searched by name or by Guid.
An exception that is thrown if there is a cycle in a dependency graph that has been analyzed.
Represents & contains a Procedure Function Chart instance. Includes methods for building, triggering, and reducing an SFC graph. The SFC is maintained SFC-Compliant (meaning that Transitions always lead to Steps, and Steps always lead to Transitions, and both always do so via Links.
A class that holds a reference to an IPfcElement and a new Guid for that element, and enables the ProcedureFunctionChart to change that guid via its' ApplyGuidMap API.
An interface implemented by anything in an SFC that is to be evaluated as an expression that returns a boolean.
Implemented by any entity (Links, Steps and Transitions) that participates in the structure of a ProcedureFunctionChart.
An implementer of IPfcElementFactory is the factory from which the PfcElements are drawn when an IProcedureFunctionChart is creating an SfcElement such as a node, link or step.
An interface implemented by anything in an SFC that is to be evaluated as an expression.
Implemented by an object that is an SFC SfcLink.
Implemented by anything that can be a node in an SFC graph. This includes steps and transitions. Nodes are connected to Links as their predecessor & successors. Links such as ParallelConvergentLinks and SeriesDivergentLinks have multiple predecessors or successors, and their logic to fire or not is dependent upon input steps' or transitions' states.
Implemented by an object that filters SFC Nodes.
Implemented by an object that is an SFC SfcStep.
Implemented by an object that is an SfcTransition.
Holds key data on the unit with which a specific step is associated.
IProcedureFunctionChart is implemented by a type that provides overall management, including creation, running and modification of an SFC graph. IMPORTANT NOTE: Any class implementing IProcedureFunctionChart must have a constructor that accepts a IProcedureFunctionChart, in order for serialization to work properly.
The signature of a method that a PFC Step can call as an action.
A PfcLink is a part of one of these types of aggregate links, depending on the type of its predecessor or successor, and the number of (a) successors its predecessor has, and (b) predecessors its successor has.
Enum NodeColor is used for various graph analysis algorithms. One such declares Black, unvisited, Gray, partially visited and White, fully visited.
The types of operations permitted by this operation type.
Declares whether a port is an input port or an output port.