public class VarHypFormula extends Formula
Constructor and Description |
---|
VarHypFormula(int workCnt,
Sym[] workFormula)
Construct using count and Sym array.
|
VarHypFormula(java.util.Map<java.lang.String,Sym> symTbl,
java.lang.String typS,
java.lang.String varS)
Construct using Type Code String and Var id String.
|
Modifier and Type | Method and Description |
---|---|
Var |
getVarHypVar()
Return the VarHypFormula's Var (sym[1]).
|
Var |
setVarHypVar(java.util.Map<java.lang.String,Sym> symTbl,
java.lang.String varS)
Set the VarHypFormula's Var (sym[1]).
|
void |
setVarHypVar(Var var)
Set the VarHypFormula's Var (sym[1]).
|
accumHypInList, buildMandVarHypArray, buildRuleFormatExpr, collectConstFrequenceAndInitConstList, computeWidthOfWidestExprCnst, constructTempDummyFormula, equals, exprEquals, exprToString, getCnt, getExpr, getParseNodeHolderExpr, getParseNodeHolderExpr, getSym, getTyp, hashCode, preunificationCheck, setTyp, setTyp, sortConstList, srcStmtEquals, toProofWorksheetStringBuilder, toString, toStringBuilderLineList
public VarHypFormula(int workCnt, Sym[] workFormula)
workCnt
- length of formula.workFormula
- Formula Sym array.public VarHypFormula(java.util.Map<java.lang.String,Sym> symTbl, java.lang.String typS, java.lang.String varS) throws LangException
The length of a VarHyp Formula is always 2.
symTbl
- Symbol Table (map).typS
- Type Code String.varS
- Var id String.LangException
- if an error occurredpublic Var getVarHypVar()
public void setVarHypVar(Var var)
var
- the VarHypFormula's Var (sym[1]).public Var setVarHypVar(java.util.Map<java.lang.String,Sym> symTbl, java.lang.String varS) throws LangException
symTbl
- Symbol Table (Map).varS
- the VarHypFormula's Var id String.LangException
- if an error occurred