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.

Uses of ProofStep in com.articulate.sigma

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

Modifier and Type	Field and Description
ArrayList<ProofStep>	TPTP3ProofProcessor.proof

Methods in com.articulate.sigma that return ProofStep

Modifier and Type	Method and 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).

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

Modifier and Type	Method and Description
static ArrayList<ProofStep>	ProofStep.normalizeProofStepNumbers(ArrayList<ProofStep> proofSteps) Take an ArrayList of ProofSteps and renumber them consecutively starting at 1.
static ArrayList<ProofStep>	ProofStep.removeDuplicates(ArrayList<ProofStep> proofSteps) Take an ArrayList of ProofSteps and renumber them consecutively starting at 1.
static ArrayList<ProofStep>	ProofStep.removeUnnecessary(ArrayList<ProofStep> proofSteps) created a new by qingqing remove unnecessary steps, which should not appear in proof Unnecessary steps could be: (1) conjectures; (2) Successful resolution theorem proving results in a contradiction;

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

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

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

Modifier and Type	Method and Description
static ArrayList<ProofStep>	ProofStep.normalizeProofStepNumbers(ArrayList<ProofStep> proofSteps) Take an ArrayList of ProofSteps and renumber them consecutively starting at 1.
static ArrayList<ProofStep>	ProofStep.removeDuplicates(ArrayList<ProofStep> proofSteps) Take an ArrayList of ProofSteps and renumber them consecutively starting at 1.
static ArrayList<ProofStep>	ProofStep.removeUnnecessary(ArrayList<ProofStep> proofSteps) created a new by qingqing remove unnecessary steps, which should not appear in proof Unnecessary steps could be: (1) conjectures; (2) Successful resolution theorem proving results in a contradiction;
static ArrayList<String>	ProofProcessor.returnSkolemStmt(String skolem, ArrayList<ProofStep> proofSteps) Looks for skolem function from proofsteps if query is not given.
static String	ProofProcessor.tptpProof(ArrayList<ProofStep> proofSteps) Convert XML proof to TPTP format