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

Class `Asl_utils.freevarClass`Source

inherit LibASL.Asl_visitor.nopAslVisitor

val mutable fvs : IdentSet.t

method result : IdentSet.t

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

method vtype : LibASL.Asl_ast.ty ->
  LibASL.Asl_ast.ty LibASL.Visitor.visitAction