File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -85,7 +85,7 @@ function (cw::CondRewriter)(expr, dep)
8585        return  (expr, true , true )
8686        #  other singleton symbolic variables
8787    elseif  ! iscall (expr)
88-         @warn  " Automatic conversion of if statments  to events requires use of a limited conditional grammar; see the documentation. Skipping due to $expr " 
88+         @warn  " Automatic conversion of if statements  to events requires use of a limited conditional grammar; see the documentation. Skipping due to $expr " 
8989        return  (expr, true , true ) #  error case => conservative assumption is that both true and false have to be evaluated
9090    elseif  operation (expr) ==  Base.:(| ) #  OR of two conditions
9191        a, b =  arguments (expr)
@@ -405,7 +405,7 @@ const CONDITION_SIMPLIFIER = Rewriters.Fixpoint(Rewriters.Postwalk(Rewriters.Cha
405405                                                                                    (@rule  ifelse (false , (~ x), (~ y)) =>  (~ y))])))
406406
407407""" 
408- If lifting converts (nested) if statements into a series of continous  events + a logically equivalent if statement + parameters. 
408+ If lifting converts (nested) if statements into a series of continuous  events + a logically equivalent if statement + parameters. 
409409
410410Lifting proceeds through the following process: 
411411* rewrite comparisons to be of the form eqn [op] 0; subtract the RHS from the LHS  
    
 
   
 
     
   
   
          
     
  
    
     
 
    
      
     
 
     
    You can’t perform that action at this time.
  
 
    
  
     
    
      
        
     
 
       
      
     
   
 
    
    
  
 
  
 
     
    
0 commit comments