PGFSharp : PGFSharp Namespace

Overview

Signature

Remarks

Members

Member Details

PGF Class

The class for PGF grammars.

Syntax

public class PGF

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]
 Categories IEnumerable<string> . All categories in the abstract grammar.
[read-only]
 Functions IEnumerable<string> . All functions in the abstract grammar.
[read-only]
 Languages Dictionary<string, Concr> . All concrete grammars in the language.
[read-only]
 Name string . Name of the abstract grammar.
[read-only]
 StartCat Type . Default category of the grammar.

Public Methods

 Compute (Expr) : Expr
Normalizes an expression to its normal form by using the 'def' rules in the grammar.
FunctionByCategory (string) : IEnumerable<string>
Returns a list with all functions with a given return category.
FunctionType (string) : Type
Returns the type of the function with the given name.
GenerateAll (Type) : IEnumerable<Expr>
Returns an enumerable over the set of all expression in the given category. The expressions are enumerated in decreasing probability order.
static
ReadPGF (string) : PGF
Reads a grammar with the specified file path.
override
ToString () : string
Documentation for this section has not yet been entered.

Member Details

Categories Property

All categories in the abstract grammar.

Syntax

public IEnumerable<string> Categories { 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

Compute Method

Normalizes an expression to its normal form by using the 'def' rules in the grammar.

Syntax

public Expr Compute (Expr expr)

Parameters

expr
the original expression.

Returns

the normalized expression.

Remarks

Documentation for this section has not yet been entered.

Requirements

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

FunctionByCategory Method

Returns a list with all functions with a given return category.

Syntax

public IEnumerable<string> FunctionByCategory (string catName)

Parameters

catName
The name of the return category.

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

Functions Property

All functions in the abstract grammar.

Syntax

public IEnumerable<string> Functions { 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

FunctionType Method

Returns the type of the function with the given name.

Syntax

public Type FunctionType (string funName)

Parameters

funName
The name of the function.

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

GenerateAll Method

Returns an enumerable over the set of all expression in the given category. The expressions are enumerated in decreasing probability order.

Syntax

public IEnumerable<Expr> GenerateAll (Type cat)

Parameters

cat
the start category.

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

Languages Property

All concrete grammars in the language.

Syntax

public Dictionary<string, Concr> Languages { 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

Name Property

Name of the abstract grammar.

Syntax

public string Name { 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

ReadPGF Method

Reads a grammar with the specified file path.

Syntax

public static PGF ReadPGF (string fn)

Parameters

fn
The path to the file.

Returns

an object representing the grammar in memory.

Remarks

Documentation for this section has not yet been entered.

Requirements

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

StartCat Property

Default category of the grammar.

Syntax

public Type StartCat { 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

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