Documentation for this section has not yet been entered.
Documentation for this section has not yet been entered.
Namespace: SemWeb.Inference
Assembly: SemWeb (in SemWeb.dll)
Assembly Versions: 1.0.6.5, 1.0.7.0
See Also: Inherited members from object.
⊟ Public Constructors
Documentation for this section has not yet been entered. ⊟ Public Fields
readonlyProved SemWeb.Statement[]. Documentation for this section has not yet been entered. readonlySteps ProofStep[]. Documentation for this section has not yet been entered. ⊟ Public Methods
⊟ Proof Constructor
Documentation for this section has not yet been entered.
public Proof (SemWeb.Statement[] proved, ProofStep[] steps)⊟ Parameters
- proved
- Documentation for this section has not yet been entered.
- steps
- 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.5, 1.0.7.0
⊟ Proved Field
Documentation for this section has not yet been entered.
public readonly SemWeb.Statement[] Proved⊟ Remarks
Documentation for this section has not yet been entered.⊟ Requirements
Namespace: SemWeb.Inference
Assembly: SemWeb (in SemWeb.dll)
Assembly Versions: 1.0.6.5, 1.0.7.0
⊟ Steps Field
Documentation for this section has not yet been entered.
public readonly ProofStep[] Steps⊟ Remarks
Documentation for this section has not yet been entered.⊟ Requirements
Namespace: SemWeb.Inference
Assembly: SemWeb (in SemWeb.dll)
Assembly Versions: 1.0.6.5, 1.0.7.0
⊟ ToString Method
Documentation for this section has not yet been entered.
public override string ToString ()⊟ Returns
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.5, 1.0.7.0
Since: 1.0.6.5