public class UserDefinedSymbols
extends java.lang.Object
Constructor and Description |
---|
UserDefinedSymbols(NamespaceSet referenceNamespaces,
ImmutableSet<Taclet> axioms) |
UserDefinedSymbols(UserDefinedSymbols parent) |
Modifier and Type | Method and Description |
---|---|
void |
addFunction(Function symbol) |
void |
addPredicate(Function symbol) |
void |
addSchemaVariable(SchemaVariable symbol) |
void |
addSort(Named symbol) |
void |
addSymbolsToNamespaces(NamespaceSet namespaces) |
void |
addVariable(QuantifiableVariable symbol) |
java.lang.String |
createHeader(Services services) |
java.util.Map<Name,Sort> |
getExtraSorts() |
java.lang.String |
getRuleHeader(Services services) |
void |
replaceGenericByProxySorts() |
java.lang.String |
toString() |
public UserDefinedSymbols(NamespaceSet referenceNamespaces, ImmutableSet<Taclet> axioms)
public UserDefinedSymbols(UserDefinedSymbols parent)
public void addFunction(Function symbol)
public void addPredicate(Function symbol)
public void addSort(Named symbol)
public void addVariable(QuantifiableVariable symbol)
public void addSchemaVariable(SchemaVariable symbol)
public void addSymbolsToNamespaces(NamespaceSet namespaces)
public java.lang.String getRuleHeader(Services services)
public void replaceGenericByProxySorts()
public java.lang.String createHeader(Services services)
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.