public abstract class Hyp extends Stmt
The unification of VarHyp and LogHyp is one of the things that makes Metamath elegant. Both are statements, both have labels, and both have formulas -- which means that both have Type Codes. Clean and simple (simple now that Megill invented it, that is :)
Modifier and Type | Field and Description |
---|---|
protected boolean |
active
"active", true or false?
|
DESC_NBR_PROOF_REFS, exprParseTree, LABEL, logHypsL1HiLoKey, logHypsMaxDepth, nbrProofRefs
chapterNbr, description, isTempObject, SECTION_AND_MOBJ_NBR, sectionMObjNbr, sectionNbr, seq, SEQ
Modifier | Constructor and Description |
---|---|
|
Hyp(int seq,
java.util.Map<java.lang.String,Sym> symTbl,
java.util.Map<java.lang.String,Stmt> stmtTbl,
java.lang.String labelS,
boolean active)
Construct using sequence number and label string.
|
protected |
Hyp(int tempSeq,
java.lang.String tempLabel,
Formula tempFormula,
ParseTree tempParseTree,
boolean tempActive)
Construct temp Hyp using precomputed values and doing no validation.
|
Modifier and Type | Method and Description |
---|---|
boolean |
isActive()
Return Hyp.active, true or false.
|
void |
setActive(boolean active)
Set Hyp.active, true or false.
|
equals, getExprParseTree, getExprRPN, getFormula, getLabel, getMandHypArrayLength, getMandVarHypArray, getNbrProofRefs, getTyp, hashCode, incrementNbrProofRefs, initNbrProofRefs, renderParsedSubExpr, resetLogHypsL1HiLoKey, resetLogHypsMaxDepth, setExprParseTree, setExprRPN, setLogHypsL1HiLoKey, setLogHypsMaxDepth, setTyp, toJSONString, toString
getChapterNbr, getDescription, getDescriptionForSearch, getIsTempObject, getOrigSectionNbr, getSectionMObjNbr, getSectionNbr, getSeq, setChapterNbr, setDescription, setIsTempObject, setSectionMObjNbr, setSectionNbr
protected boolean active
Only an "active" hypothesis can be referred to by another statement.
public Hyp(int seq, java.util.Map<java.lang.String,Sym> symTbl, java.util.Map<java.lang.String,Stmt> stmtTbl, java.lang.String labelS, boolean active) throws LangException
seq
- MObj.seq numbersymTbl
- Symbol Table (Map)stmtTbl
- Statement Table (Map)labelS
- Label String.active
- see active
LangException
- if duplicate, etc.protected Hyp(int tempSeq, java.lang.String tempLabel, Formula tempFormula, ParseTree tempParseTree, boolean tempActive)
tempSeq
- MObj.seqtempLabel
- Stmt.labeltempFormula
- Stmt.formulatempParseTree
- Stmt.exprParseTreetempActive
- Hyp.active