EnumInfo constructor

EnumInfo(DatatypeSort sort, Map<Sym, ConstVar> constants, List<FuncDecl> testers)

Implementation

EnumInfo(this.sort, this.constants, this.testers);