simplifyUpdate1 {
\schemaVar \update u ;
\schemaVar \term any t , result ;
\find ( { u } t )
\varcond \replacewith ( result )
\heuristics (update_elim )
};defined in: updateRules.key Line: 11 Offset :4simplifyUpdate2 {
\schemaVar \update u ;
\schemaVar \formula phi , result ;
\find ( { u } phi )
\varcond \replacewith ( result )
\heuristics (update_elim )
};defined in: updateRules.key Line: 23 Offset :4simplifyUpdate3 {
\schemaVar \update u , u2 , result ;
\find ( { u } u2 )
\varcond \replacewith ( result )
\heuristics (update_elim )
};defined in: updateRules.key Line: 35 Offset :4simplifyIfThenElseUpdate1 {
\schemaVar \update u1 , u2 ;
\schemaVar \formula phi , result , t ;
\find ( \if ( phi )\then ( { u1 } t )\else ( { u2 } t ))
\varcond \replacewith ( result )
\displayname "simplifyIfThenElse"
};defined in: updateRules.key Line: 46 Offset :4simplifyIfThenElseUpdate2 {
\schemaVar \update u1 , u2 ;
\schemaVar \formula phi , result , t ;
\find ( \if ( phi )\then ( t )\else ( { u2 } t ))
\varcond \replacewith ( result )
\displayname "simplifyIfThenElse"
};defined in: updateRules.key Line: 57 Offset :4simplifyIfThenElseUpdate3 {
\schemaVar \update u1 , u2 ;
\schemaVar \formula phi , result , t ;
\find ( \if ( phi )\then ( { u1 } t )\else ( t ))
\varcond \replacewith ( result )
\displayname "simplifyIfThenElse"
};defined in: updateRules.key Line: 68 Offset :4simplifyIfThenElseUpdate4 {
\schemaVar \update u1 , u2 ;
\schemaVar \formula phi , result , t ;
\find ( \if ( phi )\then ( t )\else ( t ))
\varcond \replacewith ( result )
\displayname "simplifyIfThenElse"
};defined in: updateRules.key Line: 79 Offset :4sequentialToParallel1 {
\schemaVar \update u , u2 ;
\schemaVar \term any t ;
\find ( { u } { u2 } t )
\replacewith ( { u || { u } u2 } t )
\heuristics (update_join )
};defined in: updateRules.key Line: 95 Offset :4sequentialToParallel2 {
\schemaVar \update u , u2 ;
\schemaVar \formula phi ;
\find ( { u } { u2 } phi )
\replacewith ( { u || { u } u2 } phi )
\heuristics (update_join )
};defined in: updateRules.key Line: 106 Offset :4sequentialToParallel3 {
\schemaVar \update u , u2 , u3 ;
\find ( { u } { u2 } u3 )
\replacewith ( { u || { u } u2 } u3 )
\heuristics (update_join )
};defined in: updateRules.key Line: 117 Offset :4applyOnRigidTerm {
\schemaVar \update u ;
\schemaVar \term any t , result ;
\find ( { u } t )
\varcond \replacewith ( result )
\heuristics (update_apply )
};defined in: updateRules.key Line: 131 Offset :4applyOnRigidFormula {
\schemaVar \update u ;
\schemaVar \formula phi , result ;
\find ( { u } phi )
\varcond \replacewith ( result )
\heuristics (update_apply )
};defined in: updateRules.key Line: 143 Offset :4applyOnElementary {
\schemaVar \update u ;
\schemaVar \program Variable #pv;
\schemaVar \term any t ;
\find ( { u } ( #pv:= t ))
\replacewith ( #pv:= { u } t )
\heuristics (update_apply_on_update )
};defined in: updateRules.key Line: 155 Offset :4applyOnParallel {
\schemaVar \update u , u2 , u3 ;
\find ( { u } ( u2 || u3 ))
\replacewith ( { u } u2 || { u } u3 )
\heuristics (update_apply_on_update )
};defined in: updateRules.key Line: 167 Offset :4applyOnSkip {
\schemaVar \update u ;
\find ( { u } skip )
\replacewith ( skip )
\heuristics (update_elim )
};defined in: updateRules.key Line: 177 Offset :4applyOnPV {
\schemaVar \program Variable #pv;
\schemaVar \term any t ;
\find ( { #pv:= t } #pv)
\replacewith ( t )
\heuristics (update_elim )
};defined in: updateRules.key Line: 187 Offset :4parallelWithSkip1 {
\schemaVar \update u ;
\find ( skip || u )
\replacewith ( u )
\heuristics (update_elim )
};defined in: updateRules.key Line: 202 Offset :4parallelWithSkip2 {
\schemaVar \update u ;
\find ( u || skip )
\replacewith ( u )
\heuristics (update_elim )
};defined in: updateRules.key Line: 212 Offset :4applySkip1 {
\schemaVar \term any t ;
\find ( { skip } t )
\replacewith ( t )
\heuristics (concrete )
};defined in: updateRules.key Line: 222 Offset :4applySkip2 {
\schemaVar \formula phi ;
\find ( { skip } phi )
\replacewith ( phi )
\heuristics (update_elim )
};defined in: updateRules.key Line: 232 Offset :4applySkip3 {
\schemaVar \update u ;
\find ( { skip } u )
\replacewith ( u )
\heuristics (update_elim )
};defined in: updateRules.key Line: 242 Offset :4