Mercury.Interpreting.RewriteRuleCollection< T > Class Template Reference

A read-only collection of rewrite rules More...

Inheritance diagram for Mercury.Interpreting.RewriteRuleCollection< T >:

Public Member Functions
IEnumerable< RewriteRule< T > >	RulesFor (Symbol head)
	Returns a list of rules whose LHS Structure's head matches the given head . More...
IEnumerator< RewriteRule< T > >	GetEnumerator ()

Properties
int	Count [get]

Detailed Description

A read-only collection of rewrite rules

Type Constraints

T

:

class

Definition at line 14 of file RewriteRuleCollection.cs.

Member Function Documentation

IEnumerator<RewriteRule<T> > Mercury.Interpreting.RewriteRuleCollection< T >.GetEnumerator

(

)

Definition at line 60 of file RewriteRuleCollection.cs.

IEnumerable<RewriteRule<T> > Mercury.Interpreting.RewriteRuleCollection< T >.RulesFor

(

Symbol

head

)

Returns a list of rules whose LHS Structure's head matches the given head .

Parameters

head	The head to match.

Returns

List of rules

Definition at line 44 of file RewriteRuleCollection.cs.

Property Documentation

int Mercury.Interpreting.RewriteRuleCollection< T >.Count

get

Definition at line 58 of file RewriteRuleCollection.cs.

---

The documentation for this class was generated from the following file:

• Mercury/Mercury/Interpreting/RewriteRuleCollection.cs