def is_known( self, env ):
pred = self.predicate#.evaluate( env )
return ( pred.is_known( env ) and (
( pred.value and all_known( self.cmds_if_true ) )
or
( not pred.value ) # TODO and elses known)
)
)
def is_known( self, env ):
return all_known( ( self.left_value, self.right_value ), env )
def is_known( self, env ):
return all_known( ( self.array_value, self.index ), env )
def is_known( self, env ):
( tp, ns, nm, val ) = self._eval_args( env )
return all_known( ( tp, val ), env )