| java.lang.Object de.uka.ilkd.key.parser.DefaultTermParser
DefaultTermParser | final public class DefaultTermParser implements SimpleTermParser(Code) | | Defaut implementation of SimpleTermParser. This class wraps the
default KeY-Term-Parser in the SimpleTermParser interface.
author: Hubert Schmid |
Method Summary | |
public Term | parse(Reader in, Sort sort, Services services, Namespace var_ns, Namespace func_ns, Namespace sort_ns, Namespace progVar_ns, AbbrevMap scm) | public Term | parse(Reader in, Sort sort, Services services, NamespaceSet nss, AbbrevMap scm) |
|
|