AngouriMath

Navigation

Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug Contacts

← Back to list of members

#ctor(System.String,System.String,AngouriMath.Core.Transformations.TransformationRelation,AngouriMath.Core.Transformations.Soundness,AngouriMath.Core.Transformations.Matching.MatchedRuleSet,System.Boolean)

Method (no overloads)

Summary

A set whose rewrites are written as data: it both runssource and describes it.

Remarks

One argument rather than two, because two could disagree. The other constructor
takes what to run and what to report separately, and for most of the registry's life
those were a matcher on one side and a switch read by
RuleRegistryGenerator on the other — so a set could describe arms it no longer
executed, and 26 of them did. Passing the set itself makes that unrepresentable.
It also takes the factory call off the caller. A set built by a parameterised factory —
the common-denominator family, one definition read at three sort levels — would
otherwise be constructed twice, once for the delegate and once for the rules, and the
description would be of a different instance from the one that runs.

AngouriMath

Table of contents

AngouriMath

#ctor​(System.​String,​System.​String,​AngouriMath.​Core.​Transformations.​TransformationRelation,​AngouriMath.​Core.​Transformations.​Soundness,​AngouriMath.​Core.​Transformations.​Matching.​MatchedRuleSet,​System.​Boolean)

#ctor(System.String,System.String,AngouriMath.Core.Transformations.TransformationRelation,AngouriMath.Core.Transformations.Soundness,AngouriMath.Core.Transformations.Matching.MatchedRuleSet,System.Boolean)