|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object fmrisc.Semantics.SymbolBase fmrisc.Semantics.FormulaSymbol
public final class FormulaSymbol
Entries in FormulaTable.
Constructor Summary | |
---|---|
FormulaSymbol(FormulaDeclIdentifier ident)
Construct formula symbol from ident (type is set to null). |
Method Summary | |
---|---|
Environment |
getEnvironment()
Return environment of symbol (up to the point where the symbol was decld). |
Expression |
getFormula()
Return formula of symbol. |
FormulaDeclIdentifier |
getFormulaDeclIdentifier()
Return identifier of symbol. |
Proof |
getProof()
Return proof of symbol. |
boolean |
isAxiom()
Return axiom status of formula. |
void |
setAxiom()
Set axiom status of formula to true. |
void |
setEnvironment(Environment env)
Set environment of symbol (up to the point where the symbol was decld). |
void |
setFormula(Expression formula)
Set formula of symbol. |
void |
setProof(Proof proof)
Set proof of symbol. |
Methods inherited from class fmrisc.Semantics.SymbolBase |
---|
getIdentifier |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public FormulaSymbol(FormulaDeclIdentifier ident)
ident
- the identifier of the symbolMethod Detail |
---|
public FormulaDeclIdentifier getFormulaDeclIdentifier()
public Expression getFormula()
public void setFormula(Expression formula)
formula
- the symbol formulapublic Environment getEnvironment()
public void setEnvironment(Environment env)
env
- the symbol environmentpublic Proof getProof()
public void setProof(Proof proof)
proof
- the symbol proofpublic boolean isAxiom()
public void setAxiom()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |