public class NamespaceSet
extends java.lang.Object
Constructor and Description |
---|
NamespaceSet() |
NamespaceSet(Namespace<QuantifiableVariable> varNS,
Namespace<Function> funcNS,
Namespace<Sort> sortNS,
Namespace<RuleSet> ruleSetNS,
Namespace<Choice> choiceNS,
Namespace<IProgramVariable> programVarNS) |
public NamespaceSet copy()
public NamespaceSet shallowCopy()
public NamespaceSet copyWithParent()
public Namespace<QuantifiableVariable> variables()
public void setVariables(Namespace<QuantifiableVariable> varNS)
public Namespace<IProgramVariable> programVariables()
public void setProgramVariables(Namespace<IProgramVariable> progVarNS)
public void add(NamespaceSet ns)
public Named lookup(Name name)
public Named lookupLogicSymbol(Name name)
name
- the Name to look uppublic java.lang.String toString()
toString
in class java.lang.Object
public <T extends Name> boolean containsAll(java.lang.Iterable<T> names)
public void seal()
public boolean isEmpty()
public NamespaceSet simplify()
public NamespaceSet getCompression()
public void flushToParent()
public NamespaceSet getParent()
Copyright © 2003-2019 The KeY-Project.