SemWeb : SemWeb.Inference Namespace
Proof Class

To be added.

public class Proof


Remarks

To be added.

Members

See Also: Inherited members from object.

Constructors

To be added.

Fields

Proved
readonly
SemWeb.Statement[]. To be added.
Steps
readonly
ProofStep[]. To be added.

Member Details

Proof Constructor

public Proof (SemWeb.Statement[] proved, ProofStep[] steps)

To be added.

Parameters

proved
To be added.
steps
To be added.

Remarks

To be added.

Proved Field

public readonly SemWeb.Statement[] Proved

To be added.

Remarks

To be added.

Steps Field

public readonly ProofStep[] Steps

To be added.

Remarks

To be added.