SemWeb : SemWeb.Inference Namespace
ProofStep Class

To be added.

public class ProofStep


Remarks

To be added.

Members

See Also: Inherited members from object.

Constructors

To be added.

Fields

Rule
readonly
Rule . To be added.
Substitutions
readonly
IDictionary . To be added.

Member Details

ProofStep Constructor

public ProofStep (Rule rule, IDictionary substitutions)

To be added.

Parameters

rule
To be added.
substitutions
To be added.

Remarks

To be added.

Rule Field

public readonly Rule Rule

To be added.

Remarks

To be added.

Substitutions Field

public readonly IDictionary Substitutions

To be added.

Remarks

To be added.