public class WorkVarHyp extends VarHyp
DESC_NBR_PROOF_REFS, exprParseTree, LABEL, logHypsL1HiLoKey, logHypsMaxDepth, nbrProofRefs
chapterNbr, description, isTempObject, SECTION_AND_MOBJ_NBR, sectionMObjNbr, sectionNbr, seq, SEQ
Constructor and Description |
---|
WorkVarHyp(int workVarHypSeq,
java.lang.String workVarHypLabel,
Formula workVarHypFormula,
int workVarIndex)
Construct WorkVarHyp using precomputed values and doing no validation.
|
Modifier and Type | Method and Description |
---|---|
WorkVar |
getWorkVar() |
accumVarHypListBySeq, containedInVarHypListBySeq, getMandHypArrayLength, getMandVarHypArray, getVar, renderParsedSubExpr, setActive
equals, getExprParseTree, getExprRPN, getFormula, getLabel, getNbrProofRefs, getTyp, hashCode, incrementNbrProofRefs, initNbrProofRefs, resetLogHypsL1HiLoKey, resetLogHypsMaxDepth, setExprParseTree, setExprRPN, setLogHypsL1HiLoKey, setLogHypsMaxDepth, setTyp, toJSONString, toString
getChapterNbr, getDescription, getDescriptionForSearch, getIsTempObject, getOrigSectionNbr, getSectionMObjNbr, getSectionNbr, getSeq, setChapterNbr, setDescription, setIsTempObject, setSectionMObjNbr, setSectionNbr
public WorkVarHyp(int workVarHypSeq, java.lang.String workVarHypLabel, Formula workVarHypFormula, int workVarIndex)
workVarHypSeq
- MObj.seqworkVarHypLabel
- Stmt.labelworkVarHypFormula
- Stmt.formulaworkVarIndex
- Index into WorkVarManagerpublic WorkVar getWorkVar()