jtabwbx.problems

Class PlainProblemDescription

java.lang.Object

jtabwb.launcher.ProblemDescription

jtabwbx.problems.PlainProblemDescription

public class PlainProblemDescription
extends ProblemDescription

A problem consisting of exactly one conjecture.

Author:

Mauro Ferrari

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	ROLE_CONJECTURE

Constructor Summary

Constructors

Constructor and Description
PlainProblemDescription()
PlainProblemDescription(java.lang.String name)
PlainProblemDescription(java.lang.String name, java.lang.String inputSource)

Method Summary

Modifier and Type	Method and Description
void	addConjecture(java.lang.String wff)
java.lang.String	getConjecture()

Methods inherited from class jtabwb.launcher.ProblemDescription

add, getFormulasByRole, getProblemName, getProblemStatus, getRoles, getSource, setName, setProblemStatus, setSource, toString

Methods inherited from class java.lang.Object

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

Field Detail

ROLE_CONJECTURE

public static java.lang.String ROLE_CONJECTURE

Constructor Detail

PlainProblemDescription

public PlainProblemDescription()

PlainProblemDescription

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

PlainProblemDescription

public PlainProblemDescription(java.lang.String name)

Method Detail

addConjecture

public void addConjecture(java.lang.String wff)

getConjecture

public java.lang.String getConjecture()