SemWeb : SemWeb.Inference Namespace
ProofStep Class

Documentation for this section has not yet been entered.

public class ProofStep

Remarks

Documentation for this section has not yet been entered.

Requirements

Namespace: SemWeb.Inference
Assembly: SemWeb (in SemWeb.dll)
Assembly Versions: 1.0.6.2

Members

See Also: Inherited members from object.

Public Constructors

Documentation for this section has not yet been entered.

Public Fields

readonly
Rule Rule . Documentation for this section has not yet been entered.
readonly
Substitutions IDictionary . Documentation for this section has not yet been entered.

Member Details

ProofStep Constructor

Documentation for this section has not yet been entered.

public ProofStep (Rule rule, IDictionary substitutions)

Parameters

rule
Documentation for this section has not yet been entered.
substitutions
Documentation for this section has not yet been entered.

Remarks

Documentation for this section has not yet been entered.

Requirements

Namespace: SemWeb.Inference
Assembly: SemWeb (in SemWeb.dll)
Assembly Versions: 1.0.6.2

Rule Field

Documentation for this section has not yet been entered.

public readonly Rule Rule

Remarks

Documentation for this section has not yet been entered.

Requirements

Namespace: SemWeb.Inference
Assembly: SemWeb (in SemWeb.dll)
Assembly Versions: 1.0.6.2

Substitutions Field

Documentation for this section has not yet been entered.

public readonly IDictionary Substitutions

Remarks

Documentation for this section has not yet been entered.

Requirements

Namespace: SemWeb.Inference
Assembly: SemWeb (in SemWeb.dll)
Assembly Versions: 1.0.6.2