nts.interf.expr
Interface IHavoc

All Superinterfaces:
IExpr, ILabel, IVisitable

public interface IHavoc
extends IExpr

A havoc expression havoc(x1, x2, ..., xn) whose semantics is that all variables in the scope, except for {x1, x2, ..., xn}, are copied.


Method Summary
 java.util.List<IAccessBasic> vars()
           
 
Methods inherited from interface nts.interf.base.IExpr
type
 
Methods inherited from interface nts.interf.base.IVisitable
accept
 

Method Detail

vars

java.util.List<IAccessBasic> vars()