jtabwb.launcher

Class ProblemDescription

java.lang.Object

jtabwb.launcher.ProblemDescription

Direct Known Subclasses:

ILTPProblem, JTabWbSimpleProblem, PlainProblemDescription

public class ProblemDescription
extends java.lang.Object

The description of a logical problem. It consists of some data identifying the problem (problem name and source), a provability status (provable, unprovable, unknown) and a logical specification. The logical specification is given by a set of formulas (represented as strings) identified by a role. As an example, a problem can be specified by a list of formulas having the role "axioms" and a formula having the role "conjecture".

Author:

Mauro Ferrari

Constructor Summary

Constructors

Constructor and Description
ProblemDescription() Builds an empty problem description.
ProblemDescription(java.lang.String name)
ProblemDescription(java.lang.String name, java.lang.String inputSource)

Method Summary

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()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ProblemDescription

public ProblemDescription(java.lang.String name,
                          java.lang.String inputSource)

ProblemDescription

public ProblemDescription(java.lang.String name)

ProblemDescription

public ProblemDescription()

Builds an empty problem description.

Method Detail

getFormulasByRole

public 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.

Parameters:

role - the role of the formulas to be returned.

Returns:

the collection of formulas with the specified role or null.

getRoles

public java.util.LinkedList<java.lang.String> getRoles()

Returns the roles for this problem description.

Returns:

the roles for this problem description.

add

public void add(java.lang.String role,
                java.lang.String formula)

Add to the problem description a formula with the specified role.

Parameters:

role - the role of the formula

formula - the formula

getProblemName

public java.lang.String getProblemName()

Returns:

the problem name

setName

public void setName(java.lang.String name)

Parameters:

name - the problem name

getProblemStatus

public ProvabilityStatus getProblemStatus()

Returns:

the provability status of the problem

setProblemStatus

public void setProblemStatus(ProvabilityStatus status)

Parameters:

status - the provabilty status of the problem

getSource

public java.lang.String getSource()

Returns:

the source

setSource

public void setSource(java.lang.String source)

Parameters:

source - the source to set

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object