File List

Here is a list of all files with brief descriptions:

[detail level 12345]

▼ include
▼ diades
► automata
► experimental
Abstract.hh
Algorithms.hh
AutFile.hh
AutFileDescriptor.hh
BeliefState.hh
Complete.hh
ComposableModel.hh
ControlPattern.hh	This file implements the control patterns of Ramadge and Wonham
DdAutFile.hh
DdAutFileDescriptor.hh
DdSyncDescriptor.hh
Determine.hh
Event.hh
EventInserter.hh
EventSet.hh
Explanation.hh
FaultyEventStateMachine.hh
FiniteAutomaton.hh
Io.hh
LocalCandidate.hh
LocalCandidateStateMachine.hh
Minimize.hh
ParametrizedSynchronisation.hh
Printer.hh
Project.hh
StateCreation.hh
StateInserter.hh
StateMachine.hh
StateMachines.hh
StatePropertyManager.hh
SynchronisationEvent.hh
SynchronisationRules.hh
Synchronize.hh
TransitionInserter.hh
TreeViewHtml.hh
Trimming.hh	Set of functions that trim states/transitions from StateMachines
TsFile.hh
Union.hh
Accuracy.hh
AutModelException.hh
BeliefState.hh
Candidate.hh	Candidate class
ClassicalDiagnoser.hh
Component.hh
ComposableModel.hh
ComposableModelSearch.hh
ConnectionMap.hh
ConsistencyBasedDiagnosis.hh
CppGenerator.hh
Diagnose.hh
Diagnosis.hh
Event.hh
EventOccurrence.hh
FaultDiagProblem.hh	Definition of a fault diagnosis problem in a discrete-event system
FaultPattern.hh
FBFS.hh
FDFS.hh
FGFS.hh
History.hh	Class History
ObservableComponent.hh
ObservableMask.hh
Projection.hh
SpecialisedActiveDiagnoser.hh
StateNode.hh
StateTable.hh
SubConfiguration.hh
SynchronisationRules.hh
SyncRulesLoad.hh
Topology.hh
TopologyGeneration.hh
TopologyMap.hh
Trace.hh
► graph
BFS.hh
ConstEdgeMap.hh
ConstNodeMap.hh
DFS.hh
Edge.hh
EdgeData.hh
EdgeImpl.hh
EdgeMap.hh
Graph.hh
GraphGen.hh
GraphInt.hh
GraphIntOld.hh
GraphNodeSet.hh
GraphNodeSetTable.hh
GraphSearch.hh
Node.hh
NodeData.hh
NodeImpl.hh
NodeMap.hh
Utils.hh
► petri
AutomataConversion.hh	To convert a set of synchronised automata to a single Petri net
BoundedNet.hh
BranchingProcess.hh	BranchingProcess
Chronicle.hh
Configuration.hh	Description of a configuration of a BranchingProcess
DdNet.hh
DdNetLoad.hh
Diagnosis.hh
Extension.hh	An extension of the BranchingProcess
Extensions.hh	Extensions data structure
LabelledNet.hh
LabelledPrioritizedNet.hh
LabelledPrioritizedNetLoad.hh
LabelledPrioritizedTimeNet.hh
Marking.hh
MarkingGraph.hh
MarkingTable.hh
Net.hh
Observations.hh
ObservedSystem.hh
PartialOrder.hh
Pattern.hh
PetriEventManager.hh
PriorityPetriNet.hh
ReachabilityGraph.hh
RealTimeSystem.hh
RealTimeSystemPattern.hh
System.hh
SystemPattern.hh
TimeDecomposedTransition.hh
TimeNet.hh
TimeReachabilityGraph.hh
TwinPattern.hh
TwinRealTimeSystemPattern.hh
Unfolding.hh
Vdd.hh
Zsl.hh
► sdmdl
► experimental
Assignment.hh
BddStateMachine.hh
BddStateMachineEncoding.hh
EventEncoder.hh
FormulaUtils.hh
StateInfoEncoder.hh
Assignment.hh
BddComponent.hh	BddComponent a class that encodes a component into a set of BDDs
BddModel.hh	BddModel a class that encodes a discrete event system as a set of BddComponent
BddUtils.hh
CompleteActiveDiagnoser.hh
ComponentType.hh
CubeGenerator.hh
Event.hh
Formula.hh	Formula class using BDD
Port.hh
Rule.hh
Unfolding.hh
UnfoldingState.hh
UnfoldingStateTable.hh
Value.hh
Variable.hh
► utils
Assertion.hh
Box.hh	Definition of the Box Utils
Dispatcher.hh
Enumerators.hh
Exceptions.hh
Functors.hh
Identifier.hh	Class Identifier
IdGenerators.hh
InfoManager.hh
Interval.hh
Iterator.hh
Label.hh
LiterateProgramming.hh
Log.hh	Logging facilities for the Diades projects
Loggable.hh	Loggable class
Logger.hh	Logger that records Log throughout the Diades Project
MapIterators.hh
Measures.hh	Some tools for measurements
MyTime.hh
NAryTree.hh
NullValue.hh
Pointer.hh
Random.hh	Random generation utilities
Range.hh
Selection.hh
StreamTools.hh
StringTools.hh	String utilities for Diades
Substring.hh
Timer.hh
unordered_collections_load_imp.hh
unordered_collections_save_imp.hh
unordered_map.hh
unordered_set.hh
VectorTools.hh
Verbose.hh
▼ src
▼ programs
► experimental
Complete.cc	This file implements the dd-complete command that is used to make convert any kind of automata to a complete automaton. An automaton is complete for a given alphabet if from any state and for every symbol, there is at least one output transition labeled with the symbol. In case of a 'aut' finite state machine we just add a state and add as many transitions as needed to reach it (with self-loops) In case of a 'ddaut' we do the same thing and make the state non-accepting
Determine.cc	This file implements the dd-determine command that is used to make convert any kind of automata to deterministic automata
Explain.cc
Insert.cc	This file implements the dd-insert command that is used to perform automata raw insertions
Minimize.cc
Project.cc	This file implements the dd-project command that is used to perform any kind of automata projection
Run.cc	This file implements the dd-run command that is used to run the model interactively (the model can be in aut/ddaut format)
Simulate.cc
SymbolicDiagnose.cc
Synchronize.cc	This file implements the dd-synchronize command that is used to perform any kind of automata synchronization
TagStates.cc	This file implements the dd-tagstates command that is used to tag a set of states (initial, final) from an automaton (ddaut format) based on regular expressions
ToDot.cc	This file implements the dd-dot command that is used to perform any kind of automata export in dot format
TrimState.cc	This file implements the dd-trimstates command that is used to remove a set of states from an automaton (ddaut format) based on regular expressions
TsToDdAut.cc	This file implements the dd-ts2ddaut command that is used to convert altarica ts-file format to ddaut format
abstract.cc
ActiveDiagnoser.cc
AutomataInterface.cc
AutomataInterface.hh
CheckAccuracy.cc
CheckReachability.cc
CmdInterface.cc	Some utilities to deal with the command line
CmdInterface.hh	Some utilities to deal with the command line
Component2Dot.cc
ComponentInfo.cc	Main file of the component_info command
DesGenerate.cc
Diades.cc
Diagnose.cc
Diagnoser.cc
FaultDiagnosis.cc
FaultDiagnosis.hh
FaultGenerate.cc
GeneratePta.cc
GenerateTopology.cc
GlobalModel.cc
HistoryCompare.cc	File of the command history_compare
ModelGenerator.cc
Parameter.hh
run.cc
ScaleFree.cc
ScenarioInfo.cc	Main file of the dd-scenario-info command
Simulate.cc
Simulator.cc	Simulator functions
Simulator.hh
SmallWorld.cc
SupremicaFormat.cc
sync-info.cc
TestTopology.cc
XmlTag.hh
DiadesNamespace.hh
MainPageDoc.hh