eo-phi-normalizer-2.2.2: Command line normalizer of 𝜑-calculus expressions.
Contents
Index
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
W
Y
Z
$
All
Index - $
$sel:absent_attrs:IsNF
Language.EO.Phi.Rules.Yaml
$sel:applications:Metrics
Language.EO.Phi.Metrics.Data
$sel:apply_in_abstract_subformations:IsNF
Language.EO.Phi.Rules.Yaml
$sel:apply_in_subformations:IsNF
Language.EO.Phi.Rules.Yaml
$sel:atoms:TestSet
Language.EO.Phi.Pipeline.Config
$sel:attributeInitial:ReportRow
Language.EO.Phi.Report.Data
$sel:attributeMetas:Subst
Language.EO.Phi.Rules.Yaml
$sel:attributeNormalized:ReportRow
Language.EO.Phi.Report.Data
$sel:attrs:AttrsInBindings
Language.EO.Phi.Rules.Yaml
$sel:bindings:AttrsInBindings
Language.EO.Phi.Rules.Yaml
$sel:bindingsByPathMetrics:ObjectMetrics
Language.EO.Phi.Metrics.Data
$sel:bindingsByPathMetrics:ProgramMetrics
Language.EO.Phi.Metrics.Data
$sel:bindingsMetas:Subst
Language.EO.Phi.Rules.Yaml
$sel:bindingsMetrics:BindingsByPathMetrics
Language.EO.Phi.Metrics.Data
$sel:bindingsPathInitial:ReportRow
Language.EO.Phi.Report.Data
$sel:bindingsPathInitial:TestSetPhi
Language.EO.Phi.Pipeline.Config
$sel:bindingsPathNormalized:ReportRow
Language.EO.Phi.Report.Data
$sel:bindingsPathNormalized:TestSetPhi
Language.EO.Phi.Pipeline.Config
$sel:bindingsRows:ProgramReport
Language.EO.Phi.Report.Data
$sel:bytesMetas:Subst
Language.EO.Phi.Rules.Yaml
$sel:change:MetricsChange'Good
Language.EO.Phi.Pipeline.Config
$sel:context:Rule
Language.EO.Phi.Rules.Yaml
$sel:contextMetas:Subst
Language.EO.Phi.Rules.Yaml
$sel:contextObject:OneHoleContext
Language.EO.Phi.Rules.Yaml
$sel:css:ReportInput
Language.EO.Phi.Pipeline.Config
$sel:current_attribute:RuleContext
Language.EO.Phi.Rules.Yaml
$sel:current_object:RuleContext
Language.EO.Phi.Rules.Yaml
$sel:dataless:Metrics
Language.EO.Phi.Metrics.Data
$sel:description:Rule
Language.EO.Phi.Rules.Yaml
$sel:disable:AtomsSet
Language.EO.Phi.Pipeline.Config
$sel:dispatches:Metrics
Language.EO.Phi.Metrics.Data
$sel:enable:AtomsSet
Language.EO.Phi.Pipeline.Config
$sel:enable:TestSet
Language.EO.Phi.Pipeline.Config
$sel:eo:TestSet
Language.EO.Phi.Pipeline.Config
$sel:exclude:TestSetEO
Language.EO.Phi.Pipeline.Config
$sel:expectedImprovedProgramsPercentage:ReportConfig
Language.EO.Phi.Pipeline.Config
$sel:expectedMetricsChange:ReportConfig
Language.EO.Phi.Pipeline.Config
$sel:file:Pos
Language.EO.Phi.Pipeline.EOTests.Data
$sel:fileInitial:ReportRow
Language.EO.Phi.Report.Data
$sel:fileNormalized:ReportRow
Language.EO.Phi.Report.Data
$sel:filtered:TestSetEO
Language.EO.Phi.Pipeline.Config
$sel:forall:Rule
Language.EO.Phi.Rules.Yaml
$sel:formations:Metrics
Language.EO.Phi.Metrics.Data
$sel:fresh:Rule
Language.EO.Phi.Rules.Yaml
$sel:global_object:RuleContext
Language.EO.Phi.Rules.Yaml
$sel:holeMetaId:OneHoleContext
Language.EO.Phi.Rules.Yaml
$sel:html:ReportOutput
Language.EO.Phi.Pipeline.Config
$sel:include:TestSetEO
Language.EO.Phi.Pipeline.Config
$sel:initial:TestSetPhi
Language.EO.Phi.Pipeline.Config
$sel:input:ReportConfig
Language.EO.Phi.Pipeline.Config
$sel:input:RuleTest
Language.EO.Phi.Rules.Yaml
$sel:js:ReportInput
Language.EO.Phi.Pipeline.Config
$sel:json:ReportOutput
Language.EO.Phi.Pipeline.Config
$sel:license:Test
Language.EO.Phi.Pipeline.EOTests.Data
$sel:line:Pos
Language.EO.Phi.Pipeline.EOTests.Data
$sel:markdown:ReportOutput
Language.EO.Phi.Pipeline.Config
$sel:meta:Test
Language.EO.Phi.Pipeline.EOTests.Data
$sel:meta:TestContent
Language.EO.Phi.Pipeline.EOTests.Data
$sel:metrics:BindingMetrics
Language.EO.Phi.Metrics.Data
$sel:metricsChange:ReportRow
Language.EO.Phi.Report.Data
$sel:metricsInitial:ReportRow
Language.EO.Phi.Report.Data
$sel:metricsNormalized:ReportRow
Language.EO.Phi.Report.Data
$sel:name:BindingMetrics
Language.EO.Phi.Metrics.Data
$sel:name:FreshMetaId
Language.EO.Phi.Rules.Yaml
$sel:name:Program
Language.EO.Phi.Pipeline.EOTests.Data
$sel:name:Rule
Language.EO.Phi.Rules.Yaml
$sel:name:RuleTest
Language.EO.Phi.Rules.Yaml
$sel:nf:IsNF
Language.EO.Phi.Rules.Yaml
$sel:nf_inside_formation:IsNF
Language.EO.Phi.Rules.Yaml
$sel:normalized:TestSetPhi
Language.EO.Phi.Pipeline.Config
$sel:not_equal:IsNF
Language.EO.Phi.Rules.Yaml
$sel:objectMetas:Subst
Language.EO.Phi.Rules.Yaml
$sel:options:RuleTest
Language.EO.Phi.Rules.Yaml
$sel:original:TestSetEO
Language.EO.Phi.Pipeline.Config
$sel:output:ReportConfig
Language.EO.Phi.Pipeline.Config
$sel:output:RuleTest
Language.EO.Phi.Rules.Yaml
$sel:path:BindingsByPathMetrics
Language.EO.Phi.Metrics.Data
$sel:pattern:Rule
Language.EO.Phi.Rules.Yaml
$sel:percent:Percent
Language.EO.Phi.Pipeline.Config
$sel:phi:TestSet
Language.EO.Phi.Pipeline.Config
$sel:prefix:FreshMetaId
Language.EO.Phi.Rules.Yaml
$sel:present_attrs:IsNF
Language.EO.Phi.Rules.Yaml
$sel:programMetrics:ProgramMetrics
Language.EO.Phi.Metrics.Data
$sel:programReports:Report
Language.EO.Phi.Report.Data
$sel:programRow:ProgramReport
Language.EO.Phi.Report.Data
$sel:programs:Test
Language.EO.Phi.Pipeline.EOTests.Data
$sel:programs:TestContent
Language.EO.Phi.Pipeline.EOTests.Data
$sel:report:PipelineConfig
Language.EO.Phi.Pipeline.Config
$sel:result:Rule
Language.EO.Phi.Rules.Yaml
$sel:rules:RuleSet
Language.EO.Phi.Rules.Yaml
$sel:source:Program
Language.EO.Phi.Pipeline.EOTests.Data
$sel:source:Test
Language.EO.Phi.Pipeline.EOTests.Data
$sel:source:TestContent
Language.EO.Phi.Pipeline.EOTests.Data
$sel:take_one:TakeOne
Language.EO.Phi.Rules.Yaml
$sel:tests:Rule
Language.EO.Phi.Rules.Yaml
$sel:testSets:PipelineConfig
Language.EO.Phi.Pipeline.Config
$sel:text:Program
Language.EO.Phi.Pipeline.EOTests.Data
$sel:thisObjectMetrics:ObjectMetrics
Language.EO.Phi.Metrics.Data
$sel:title:RuleSet
Language.EO.Phi.Rules.Yaml
$sel:totalRow:Report
Language.EO.Phi.Report.Data
$sel:when:Rule
Language.EO.Phi.Rules.Yaml
$sel:yaml:TestSetEO
Language.EO.Phi.Pipeline.Config