public class JTabWbSimpleProblem extends ProblemDescription
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ROLE_CONJECTURE |
Constructor and Description |
---|
JTabWbSimpleProblem() |
JTabWbSimpleProblem(java.lang.String name) |
JTabWbSimpleProblem(java.lang.String name,
java.lang.String inputSource) |
Modifier and Type | Method and Description |
---|---|
void |
addConjecture(java.lang.String wff) |
java.lang.String |
getConjecture() |
add, getFormulasByRole, getProblemName, getProblemStatus, getRoles, getSource, setName, setProblemStatus, setSource, toString