PGFSharp : PGFSharp Namespace

Overview

Signature

Remarks

Members

Member Details

Type Class

A GF type.

Syntax

public class Type

Remarks

Documentation for this section has not yet been entered.

Requirements

Namespace: PGFSharp
Assembly: PGFSharp (in PGFSharp.dll)
Assembly Versions: 3.8.0.0

Members

See Also: Inherited members from object.

Public Properties

[read-only]
 Hypotheses IEnumerable<Type> . Get the hypotheses of a type (function argument types).

Public Methods

 ReadType (string) : Type
Read type from string.
override
ToString () : string
Documentation for this section has not yet been entered.

Member Details

Hypotheses Property

Get the hypotheses of a type (function argument types).

Syntax

[get: System.Runtime.CompilerServices.IteratorStateMachine(typeof(PGFSharp.Type/<get_Hypotheses>d__11))]
public IEnumerable<Type> Hypotheses { get; }

Value

Documentation for this section has not yet been entered.

Remarks

Documentation for this section has not yet been entered.

Requirements

Namespace: PGFSharp
Assembly: PGFSharp (in PGFSharp.dll)
Assembly Versions: 3.8.0.0

ReadType Method

Read type from string.

Syntax

public Type ReadType (string typeStr)

Parameters

typeStr

Returns

Remarks

Documentation for this section has not yet been entered.

Requirements

Namespace: PGFSharp
Assembly: PGFSharp (in PGFSharp.dll)
Assembly Versions: 3.8.0.0

ToString Method

Documentation for this section has not yet been entered.

Syntax

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: PGFSharp
Assembly: PGFSharp (in PGFSharp.dll)
Assembly Versions: 3.8.0.0