Author: gierds
Date: Fri Mar 27 13:23:51 2009
New Revision: 4030
URL: http://svn.gna.org/viewcvs/service-tech?rev=4030&view=rev
Log:
* working OG generation for open nets with (partly) synchronous interface
* open issues:
** partner generation (partly depending on new PNAPI implementation
** IG generation (now implementation so far, in general easy to do, but
reduction rules should be applicable)
** Public View generation
Modified:
branches/synchronous_controllability/fiona/src/AnnotatedGraph.cc
branches/synchronous_controllability/fiona/src/AnnotatedGraph.h
branches/synchronous_controllability/fiona/src/AnnotatedGraphNode.cc
branches/synchronous_controllability/fiona/src/AnnotatedGraphNode.h
branches/synchronous_controllability/fiona/src/BddRepresentation.cc
branches/synchronous_controllability/fiona/src/BddRepresentation.h
branches/synchronous_controllability/fiona/src/CommunicationGraph.cc
branches/synchronous_controllability/fiona/src/CommunicationGraph.h
branches/synchronous_controllability/fiona/src/ConstraintOG.cc
branches/synchronous_controllability/fiona/src/ConstraintOG.h
branches/synchronous_controllability/fiona/src/GraphEdge.cc
branches/synchronous_controllability/fiona/src/GraphEdge.h
branches/synchronous_controllability/fiona/src/GraphNode.cc
branches/synchronous_controllability/fiona/src/GraphNode.h
branches/synchronous_controllability/fiona/src/IG.cc
branches/synchronous_controllability/fiona/src/IG.h
branches/synchronous_controllability/fiona/src/OG.cc
branches/synchronous_controllability/fiona/src/OG.h
branches/synchronous_controllability/fiona/src/main.cc
branches/synchronous_controllability/fiona/src/owfn.cc
branches/synchronous_controllability/fiona/src/owfn.h
branches/synchronous_controllability/fiona/src/owfnPlace.cc
branches/synchronous_controllability/fiona/src/owfnPlace.h
branches/synchronous_controllability/fiona/src/owfnTransition.cc
branches/synchronous_controllability/fiona/src/owfnTransition.h
branches/synchronous_controllability/fiona/src/state.cc
branches/synchronous_controllability/fiona/src/state.h
branches/synchronous_controllability/fiona/src/syntax_owfn.yy
branches/synchronous_controllability/fiona/src/syntax_owfn_wrap.h
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
