Author: karstenwolf
Date: Sat May 31 16:55:19 2014
New Revision: 9479
URL: http://svn.gna.org/viewcvs/service-tech?rev=9479&view=rev
Log:
Deadlocks as state predicate.
Status:
- compiles
- not tested at all
- new stubborn set calculation to be done
Modified:
trunk/lola2/src/Core/Dimensions.h
trunk/lola2/src/Exploration/FirelistStubbornStatePredicate.cc
trunk/lola2/src/Exploration/FirelistStubbornTscc.cc
trunk/lola2/src/Exploration/StatePredicateProperty.cc
trunk/lola2/src/Exploration/StatePredicateProperty.h
trunk/lola2/src/Formula/FormulaInfo.h
trunk/lola2/src/Formula/StatePredicate/AtomicStatePredicate.cc
trunk/lola2/src/Formula/StatePredicate/AtomicStatePredicate.h
trunk/lola2/src/Formula/StatePredicate/ConjunctionStatePredicate.cc
trunk/lola2/src/Formula/StatePredicate/ConjunctionStatePredicate.h
trunk/lola2/src/Formula/StatePredicate/DisjunctionStatePredicate.cc
trunk/lola2/src/Formula/StatePredicate/DisjunctionStatePredicate.h
trunk/lola2/src/Formula/StatePredicate/FalsePredicate.cc
trunk/lola2/src/Formula/StatePredicate/FalsePredicate.h
trunk/lola2/src/Formula/StatePredicate/StatePredicate.h
trunk/lola2/src/Formula/StatePredicate/TruePredicate.cc
trunk/lola2/src/Formula/StatePredicate/TruePredicate.h
trunk/lola2/src/Frontend/Parser/formula_abstract.k
trunk/lola2/src/Frontend/Parser/formula_rewrite.k
trunk/lola2/src/Frontend/Parser/formula_unparse.k
trunk/lola2/src/Makefile.am
trunk/lola2/src/Planning/Task.cc
trunk/lola2/src/Symmetry/Constraints.cc
[This mail would be too long, it was shortened to contain the URLs only.]
Modified: trunk/lola2/src/Core/Dimensions.h
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Core/Dimensions.h?rev=9479&r1=9478&r2=9479&view=diff
Modified: trunk/lola2/src/Exploration/FirelistStubbornStatePredicate.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Exploration/FirelistStubbornStatePredicate.cc?rev=9479&r1=9478&r2=9479&view=diff
Modified: trunk/lola2/src/Exploration/FirelistStubbornTscc.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Exploration/FirelistStubbornTscc.cc?rev=9479&r1=9478&r2=9479&view=diff
Modified: trunk/lola2/src/Exploration/StatePredicateProperty.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Exploration/StatePredicateProperty.cc?rev=9479&r1=9478&r2=9479&view=diff
Modified: trunk/lola2/src/Exploration/StatePredicateProperty.h
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Exploration/StatePredicateProperty.h?rev=9479&r1=9478&r2=9479&view=diff
Modified: trunk/lola2/src/Formula/FormulaInfo.h
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/FormulaInfo.h?rev=9479&r1=9478&r2=9479&view=diff
Modified: trunk/lola2/src/Formula/StatePredicate/AtomicStatePredicate.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/StatePredicate/AtomicStatePredicate.cc?rev=9479&r1=9478&r2=9479&view=diff
Modified: trunk/lola2/src/Formula/StatePredicate/AtomicStatePredicate.h
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/StatePredicate/AtomicStatePredicate.h?rev=9479&r1=9478&r2=9479&view=diff
Modified: trunk/lola2/src/Formula/StatePredicate/ConjunctionStatePredicate.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/StatePredicate/ConjunctionStatePredicate.cc?rev=9479&r1=9478&r2=9479&view=diff
Modified: trunk/lola2/src/Formula/StatePredicate/ConjunctionStatePredicate.h
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/StatePredicate/ConjunctionStatePredicate.h?rev=9479&r1=9478&r2=9479&view=diff
Modified: trunk/lola2/src/Formula/StatePredicate/DisjunctionStatePredicate.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/StatePredicate/DisjunctionStatePredicate.cc?rev=9479&r1=9478&r2=9479&view=diff
Modified: trunk/lola2/src/Formula/StatePredicate/DisjunctionStatePredicate.h
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/StatePredicate/DisjunctionStatePredicate.h?rev=9479&r1=9478&r2=9479&view=diff
Modified: trunk/lola2/src/Formula/StatePredicate/FalsePredicate.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/StatePredicate/FalsePredicate.cc?rev=9479&r1=9478&r2=9479&view=diff
Modified: trunk/lola2/src/Formula/StatePredicate/FalsePredicate.h
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/StatePredicate/FalsePredicate.h?rev=9479&r1=9478&r2=9479&view=diff
Modified: trunk/lola2/src/Formula/StatePredicate/StatePredicate.h
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/StatePredicate/StatePredicate.h?rev=9479&r1=9478&r2=9479&view=diff
Modified: trunk/lola2/src/Formula/StatePredicate/TruePredicate.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/StatePredicate/TruePredicate.cc?rev=9479&r1=9478&r2=9479&view=diff
Modified: trunk/lola2/src/Formula/StatePredicate/TruePredicate.h
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/StatePredicate/TruePredicate.h?rev=9479&r1=9478&r2=9479&view=diff
Modified: trunk/lola2/src/Frontend/Parser/formula_abstract.k
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Frontend/Parser/formula_abstract.k?rev=9479&r1=9478&r2=9479&view=diff
Modified: trunk/lola2/src/Frontend/Parser/formula_rewrite.k
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Frontend/Parser/formula_rewrite.k?rev=9479&r1=9478&r2=9479&view=diff
Modified: trunk/lola2/src/Frontend/Parser/formula_unparse.k
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Frontend/Parser/formula_unparse.k?rev=9479&r1=9478&r2=9479&view=diff
Modified: trunk/lola2/src/Makefile.am
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Makefile.am?rev=9479&r1=9478&r2=9479&view=diff
Modified: trunk/lola2/src/Planning/Task.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Planning/Task.cc?rev=9479&r1=9478&r2=9479&view=diff
Modified: trunk/lola2/src/Symmetry/Constraints.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Symmetry/Constraints.cc?rev=9479&r1=9478&r2=9479&view=diff
--
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.
