|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IHavoc
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 |
---|
java.util.List<IAccessBasic> vars()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |