jtabwbx.problems

Class JTabWbSimpleProblem

java.lang.Object

jtabwb.launcher.ProblemDescription

jtabwbx.problems.JTabWbSimpleProblem

public class JTabWbSimpleProblem
extends ProblemDescription

Pitp problem description only contains one conjecture, the propositional formula to prove.

Author:

Mauro Ferrari

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
JTabWbSimpleProblem()
JTabWbSimpleProblem(java.lang.String name)
JTabWbSimpleProblem(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

JTabWbSimpleProblem

public JTabWbSimpleProblem()

JTabWbSimpleProblem

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

JTabWbSimpleProblem

public JTabWbSimpleProblem(java.lang.String name)

Method Detail

addConjecture

public void addConjecture(java.lang.String wff)

getConjecture

public java.lang.String getConjecture()