this.setInvariant(invariant_); this.setMethods(methods_); this.setFunctions(functions_); this.setTraces(traces_); this.setSuperNames(superNames_);
this.setInvariant(invariant_); this.setMethods(methods_); this.setFunctions(functions_); this.setTraces(traces_); this.setSuperNames(superNames_);