public class ProblemDescription
extends java.lang.Object
Constructor and Description |
---|
ProblemDescription()
Builds an empty problem description.
|
ProblemDescription(java.lang.String name) |
ProblemDescription(java.lang.String name,
java.lang.String inputSource) |
Modifier and Type | Method and Description |
---|---|
void |
add(java.lang.String role,
java.lang.String formula)
Add to the problem description a formula with the specified role.
|
java.util.LinkedList<java.lang.String> |
getFormulasByRole(java.lang.String role)
Returns the list of the formulas in this problem description with the
specified role or
null if formula with the specified role is
defined for this problem. |
java.lang.String |
getProblemName() |
ProvabilityStatus |
getProblemStatus() |
java.util.LinkedList<java.lang.String> |
getRoles()
Returns the roles for this problem description.
|
java.lang.String |
getSource() |
void |
setName(java.lang.String name) |
void |
setProblemStatus(ProvabilityStatus status) |
void |
setSource(java.lang.String source) |
java.lang.String |
toString() |
public ProblemDescription(java.lang.String name, java.lang.String inputSource)
public ProblemDescription(java.lang.String name)
public ProblemDescription()
public java.util.LinkedList<java.lang.String> getFormulasByRole(java.lang.String role)
null
if formula with the specified role is
defined for this problem.role
- the role of the formulas to be returned.null
.public java.util.LinkedList<java.lang.String> getRoles()
public void add(java.lang.String role, java.lang.String formula)
role
- the role of the formulaformula
- the formulapublic java.lang.String getProblemName()
public void setName(java.lang.String name)
name
- the problem namepublic ProvabilityStatus getProblemStatus()
public void setProblemStatus(ProvabilityStatus status)
status
- the provabilty status of the problempublic java.lang.String getSource()
public void setSource(java.lang.String source)
source
- the source to setpublic java.lang.String toString()
toString
in class java.lang.Object