Up – Package index » asli » Library asli.libASL » LibASL » Asl_utils » assignedVarsClass

Class `Asl_utils.assignedVarsClass`Source

inherit LibASL.Asl_visitor.nopAslVisitor

val mutable avs : IdentSet.t

method result : IdentSet.t

method vlvar : LibASL.Asl_ast.ident ->
  LibASL.Asl_ast.ident LibASL.Visitor.visitAction