Uses of Class
com.articulate.sigma.ProofStep

Packages that use ProofStep

Package	Description
com.articulate.sigma	Provides classes for the Sigma knowledge engineering environment version developed at Articulate Software Inc.
com.articulate.sigma.trans	Provides classes for translation to other logical languages in the Sigma knowledge engineering environment version developed at Articulate Software Inc.

Uses of ProofStep in com.articulate.sigma

Methods in com.articulate.sigma that return types with arguments of type ProofStep

Modifier and Type	Method	Description
static List<ProofStep>	ProofStep.normalizeProofStepNumbers(List<ProofStep> proofSteps)	Take an ArrayList of ProofSteps and renumber them consecutively starting at 1.
static List<ProofStep>	ProofStep.removeDuplicates(List<ProofStep> proofSteps)	Remove duplicate statements in the proof
static List<ProofStep>	ProofStep.removeUnnecessary(List<ProofStep> proofSteps)	created by qingqing remove unnecessary steps, which should not appear in proof Unnecessary steps could be: (1) conjecture (2) duplicate $false;

Methods in com.articulate.sigma with parameters of type ProofStep

Modifier and Type	Method	Description
static String	HTMLformatter.proofTextFormat(String query, ProofStep step, String kbName, String language)	Create the text for a single step in a proof.

Method parameters in com.articulate.sigma with type arguments of type ProofStep

Modifier and Type	Method	Description
static List<ProofStep>	ProofStep.normalizeProofStepNumbers(List<ProofStep> proofSteps)	Take an ArrayList of ProofSteps and renumber them consecutively starting at 1.
static List<ProofStep>	ProofStep.removeDuplicates(List<ProofStep> proofSteps)	Remove duplicate statements in the proof
static List<ProofStep>	ProofStep.removeUnnecessary(List<ProofStep> proofSteps)	created by qingqing remove unnecessary steps, which should not appear in proof Unnecessary steps could be: (1) conjecture (2) duplicate $false;
static String	ProofProcessor.tptpProof(List<ProofStep> proofSteps)	Convert XML proof to TPTP format

Uses of ProofStep in com.articulate.sigma.trans

Methods in com.articulate.sigma.trans that return ProofStep

Modifier and Type	Method	Description
ProofStep	TPTP3ProofProcessor.parseProofStep(String line)	*************************************************************** Parse a step like the following into its constituents fof(c_0_5, axiom, (s__subclass(s__Artifact,s__Object)), c_0_3).