public class NamespaceSet
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private Namespace<Choice> |
choiceNS |
private Namespace<Function> |
funcNS |
private Namespace<IProgramVariable> |
progVarNS |
private Namespace<RuleSet> |
ruleSetNS |
private Namespace<Sort> |
sortNS |
private Namespace<QuantifiableVariable> |
varNS |
Constructor and Description |
---|
NamespaceSet() |
NamespaceSet(Namespace<QuantifiableVariable> varNS,
Namespace<Function> funcNS,
Namespace<Sort> sortNS,
Namespace<RuleSet> ruleSetNS,
Namespace<Choice> choiceNS,
Namespace<IProgramVariable> programVarNS) |
Modifier and Type | Method and Description |
---|---|
void |
add(NamespaceSet ns) |
private Namespace<?>[] |
asArray()
returns all namespaces in an array
|
Namespace<Choice> |
choices() |
<T extends Name> |
containsAll(java.lang.Iterable<T> names) |
NamespaceSet |
copy() |
NamespaceSet |
copyWithParent() |
void |
flushToParent() |
Namespace<Function> |
functions() |
NamespaceSet |
getCompression() |
NamespaceSet |
getParent() |
boolean |
isEmpty() |
private Namespace<?>[] |
logicAsArray()
returns all namespaces with symbols that may occur
in a real sequent (this means all namespaces without
variables, choices and ruleSets)
|
Named |
lookup(Name name)
looks up if the given name is found in one of the namespaces
and returns the named object or null if no object with the same name
has been found
|
private Named |
lookup(Name name,
Namespace<?>[] spaces) |
Named |
lookupLogicSymbol(Name name)
looks up for the symbol in the namespaces sort, functions and
programVariables
|
Namespace<IProgramVariable> |
programVariables() |
Namespace<RuleSet> |
ruleSets() |
void |
seal() |
void |
setChoices(Namespace<Choice> choiceNS) |
void |
setFunctions(Namespace<Function> funcNS) |
void |
setProgramVariables(Namespace<IProgramVariable> progVarNS) |
void |
setRuleSets(Namespace<RuleSet> ruleSetNS) |
void |
setSorts(Namespace<Sort> sortNS) |
void |
setVariables(Namespace<QuantifiableVariable> varNS) |
NamespaceSet |
shallowCopy() |
NamespaceSet |
simplify() |
Namespace<Sort> |
sorts() |
java.lang.String |
toString() |
Namespace<QuantifiableVariable> |
variables() |
private Namespace<QuantifiableVariable> varNS
private Namespace<IProgramVariable> progVarNS
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)
private Namespace<?>[] asArray()
private Namespace<?>[] logicAsArray()
public Named lookup(Name name)
public Named lookupLogicSymbol(Name name)
name
- the Name to look upprivate Named lookup(Name name, Namespace<?>[] spaces)
name
- spaces
- public 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()