1_generator.cpp [code] | Tutorial, basic faudes::Generator methods |
2_sets.cpp [code] | Tutorial, container classes |
3_regular.cpp [code] | Tutorial, operations on genarators |
4_cgenerator.cpp [code] | Tutorial, std monolitic synthesis |
5_attributes.cpp [code] | Tutorial, attributes |
6_algorithm.cpp [code] | Tutorial, implementing generator algorithms |
agenerator.cpp [code] | |
agenerator.h [code] | Classes TaGenerator and Generator |
attributes.cpp [code] | Classes AttributeVoid and AttributeFlags |
attributes.h [code] | Classes AttributeVoid and AttributeFlags |
baseset.cpp [code] | |
baseset.h [code] | Class TBaseSet |
cgenerator.cpp [code] | Classes TcGenerator, cGenerator and AttributeCFlags |
cgenerator.h [code] | Classes TcGenerator, cGenerator and AttributeCFlags |
cgenfunct.cpp [code] | Convenience functions for cGenerator |
cgenfunct.h [code] | Convenience functions for cGenerator |
corefaudes.h [code] | Includes all libFAUDES headers, no plugins |
definitions.h [code] | Compiletime options, doxygen pages/sections |
exception.cpp [code] | Class Exception |
exception.h [code] | Class Exception |
exefaudes.cpp [code] | Example application for executor class |
gen2dot.cpp [code] | |
gen2dot.h [code] | |
helper.cpp [code] | Helper functions |
helper.h [code] | Helper functions |
indexset.cpp [code] | Classes IndexSet |
indexset.h [code] | Classes IndexSet, TaIndexSet |
interface.cpp [code] | Interface to types and operations |
interface.h [code] | Interface to types and operations |
libfaudes.h [code] | Includes all libFAUDES headers, incl plugings |
localgen.cpp [code] | |
localgen.h [code] | |
nameset.cpp [code] | Classes NameSet |
nameset.h [code] | Classes NameSet, TaNameSet |
op_bisimulation.cpp [code] | Methods to compute bisimulations on dynamic systems (represented by a finite automaton) |
op_bisimulation.h [code] | Methods to compute bisimulations on dynamic systems (represented by a finite automaton) |
op_debug.h [code] | |
op_ex_bisim.cpp [code] | Tutorial, computation of the coarsest quasi-congruence |
op_ex_mc.cpp [code] | This tutorial demonstrates methods for verifying the mutual controllability condition of two given automata |
op_ex_synthesis.cpp [code] | Tutorial, synthesis of natural projections with certain properties |
op_ex_verification.cpp [code] | Tutorial, verification of properties of natural projections |
op_include.h [code] | Includes all observer plugin headers |
op_mc.cpp [code] | Method to verify mutual controllability for two given generators |
op_mc.h [code] | Method to verify mutual controllability for two given generators |
op_observercomputation.cpp [code] | Methods to compute natural projections that exhibit the obsrver property |
op_observercomputation.h [code] | Methods to compute natural projections that exhibit the obsrver property |
op_obserververification.cpp [code] | Methods to verify the obsrver condition for natural projections |
op_obserververification.h [code] | Methods to verify the obsrver condition for natural projections |
op_partition.cpp [code] | Data structure that implements an equivalence class in the bisimulation algorithm |
op_partition.h [code] | Data structure that implements an equivalence class in the bisimulation algorithm |
parallel.cpp [code] | Parallel composition |
parallel.h [code] | Parallel composition |
pex_altaccess.cpp [code] | Example plugin |
pex_altaccess.h [code] | Example plugin |
pex_include.h [code] | Include example plugin headers |
pex_tutorial.cpp [code] | Tutorial, example plugin |
project.cpp [code] | Projection and subset construction |
project.h [code] | Projection and subset construction |
regular.cpp [code] | Operations on regular languages |
regular.h [code] | Operations on regular languages |
simfaudes.cpp [code] | Simple simulator application for faudes generators |
sp_densityfnct.cpp [code] | Discrete density function approximation |
sp_densityfnct.h [code] | Discrete density function approximation |
sp_dplpexecutor.cpp [code] | Executor with IO device |
sp_dplpexecutor.h [code] | Executor with IO device |
sp_executor.cpp [code] | Execute transitions in a timed generator |
sp_executor.h [code] | Execute transitions in a timed generator |
sp_include.h [code] | Includes all simulator plugin headers |
sp_lpexecutor.cpp [code] | Executor with logging facilities |
sp_lpexecutor.h [code] | Executor with logging facilities |
sp_pexecutor.cpp [code] | Executor for multiple synchronized timed generators |
sp_pexecutor.h [code] | Executor for multiple synchronized timed generators |
sp_plpexecutor.cpp [code] | Executor that proposes transitions to execute |
sp_plpexecutor.h [code] | Executor that proposes transitions to execute |
sp_random.cpp [code] | Evaluating random variables |
sp_random.h [code] | Evaluating random variables |
sp_simconditionset.cpp [code] | Set of named simulation conditions |
sp_simconditionset.h [code] | Set of named simulation conditions |
sp_simeventset.cpp [code] | Eventsets with execution data for simulation |
sp_simeventset.h [code] | Eventsets with execution data for simulation |
statemin.cpp [code] | State space minimization |
statemin.h [code] | State space minimization |
supcon.cpp [code] | Supcon.h Supremal controllable sublanguage |
supcon.h [code] | Supcon.h Supremal controllable sublanguage |
symbolset.cpp [code] | Class SymbolSet |
symbolset.h [code] | Class SymbolSet, TaSymbolSet |
symboltable.cpp [code] | Class SymbolTable |
symboltable.h [code] | Class SymbolTable |
token.cpp [code] | Class Token |
token.h [code] | Class Token |
tokenreader.cpp [code] | Class TokenReader |
tokenreader.h [code] | Class TokenReader |
tokenwriter.cpp [code] | Class TokenWriter |
tokenwriter.h [code] | Class TokenWriter |
tp_1_tgenerator.cpp [code] | Tutorial, class faudes::tGenerator |
tp_2_constraints.cpp [code] | Tutorial, class faudes::TimeConstraint |
tp_3_parallel.cpp [code] | Tutorial, timed parallel composition |
tp_attributes.cpp [code] | Attributes for timed automata |
tp_attributes.h [code] | Attributes for timed automata |
tp_include.h [code] | Include timed plugin headers |
tp_tgenerator.cpp [code] | |
tp_tgenerator.h [code] | Classes TtGenerator and tGenerator |
tp_timeconstraint.cpp [code] | |
tp_timeconstraint.h [code] | Classes ClockSet, ElemConstraint and TimeConstraint |
tp_timeinterval.cpp [code] | |
tp_timeinterval.h [code] | Class TimeInterval |
tp_tparallel.cpp [code] | |
tp_tparallel.h [code] | Parallel composition for timed automata |
transset.cpp [code] | |
transset.h [code] | Classes Transition, TTransSet and TaTransSet |
vgenerator.cpp [code] | Class vGenerator |
vgenerator.h [code] | Class vGenerator |
winextra.h [code] | Workaround missing posix functions |