public class ILTPProblem extends ProblemDescription
ROLE_AXIOM
) and a conjecture
(role ROLE_CONJECTURE
).Modifier and Type | Field and Description |
---|---|
java.lang.String |
ROLE_AXIOM |
java.lang.String |
ROLE_CONJECTURE |
Modifier and Type | Method and Description |
---|---|
void |
addAxiom(java.lang.String wff) |
void |
addConjecture(java.lang.String wff) |
java.util.LinkedList<java.lang.String> |
getAxioms() |
java.lang.String |
getConjecture() |
add, getFormulasByRole, getProblemName, getProblemStatus, getRoles, getSource, setName, setProblemStatus, setSource, toString
public final java.lang.String ROLE_AXIOM
public final java.lang.String ROLE_CONJECTURE