public class SearchDataGetter
extends java.lang.Object
Constructor and Description |
---|
SearchDataGetter() |
Modifier and Type | Method and Description |
---|---|
boolean |
assrtHasLogHyps() |
VarHyp[] |
getAssrtFormulaVarHyp() |
java.lang.String[] |
getCommentsAssrtDataStringArray(boolean flag,
boolean flag1,
boolean flag2) |
java.lang.String[] |
getFormulasAssrtDataStringArray(boolean flag,
boolean flag1,
boolean flag2) |
ParseTree[] |
getFormulasAssrtDataTreeArray(boolean flag,
boolean flag1,
boolean flag2) |
VarHyp[][] |
getFormulasAssrtDataVarHypArray(boolean flag,
boolean flag1,
boolean flag2) |
java.lang.String[] |
getLabelsAssrtDataStringArray(boolean flag,
boolean flag1,
boolean flag2) |
java.lang.String[] |
getLabelsRPNAssrtDataStringArray(boolean flag,
boolean flag1,
boolean flag2) |
VarHyp[][] |
getLogHypFormulaVarHyp() |
void |
initForNextSearch(Assrt assrt1) |
public boolean assrtHasLogHyps()
public void initForNextSearch(Assrt assrt1)
public java.lang.String[] getFormulasAssrtDataStringArray(boolean flag, boolean flag1, boolean flag2)
public java.lang.String[] getCommentsAssrtDataStringArray(boolean flag, boolean flag1, boolean flag2)
public java.lang.String[] getLabelsAssrtDataStringArray(boolean flag, boolean flag1, boolean flag2)
public java.lang.String[] getLabelsRPNAssrtDataStringArray(boolean flag, boolean flag1, boolean flag2)
public VarHyp[][] getFormulasAssrtDataVarHypArray(boolean flag, boolean flag1, boolean flag2)
public VarHyp[] getAssrtFormulaVarHyp()
public VarHyp[][] getLogHypFormulaVarHyp()
public ParseTree[] getFormulasAssrtDataTreeArray(boolean flag, boolean flag1, boolean flag2)