Changeset 13894

Timestamp:
2012-11-14T22:17:50+01:00 (11 years ago)
Author:
jfrenkel
Message:
  • get 6 from 7 StateGraph examples working with solveinitialsystem
  • collect all variables used in pre, and add equation for each unused pre var indroduced by a inaktive when equatin an equation pre(var) = var.start
  • BackendVariable.varStartValueType
  • ComponentReference.isPreCref
  • Expression.containsInitialCall: ... or Initial()
  • ExpressionSimplify: cases for a and not a > false, a or not a -> true, a and a -> a, a or a -> a maybe split simplifyBinary in simplifyBinary and simplifyLBinary
Location:
trunk
Files:
14 edited

Note: See TracChangeset for help on using the changeset viewer.