Difference: HfstAPIGeneralizedRestrictionLayer2OLD (2 vs. 3)

Revision 32009-09-30 - ErikAxelson

Line: 1 to 1
META TOPICPARENT name="HfstAPIGeneralizedRestrictionLayer"
This is a part of the HfstAPIGeneralizedRestrictionLayer. It is kept on a separate page in order to keep the core simple.
META TOPICPARENT name="HfstAPIGeneralizedRestrictionLayerOLD"
This is a part of the HfstAPIGeneralizedRestrictionLayerOLD. It is kept on a separate page in order to keep the core simple.

HFST: Functions Supporting Substring Variables

Line: 73 to 73
TransducerHandle gr_compile_final (OvertFstPair g) Compile
    generalized restriction φ =x1,...,xn> ψ or
    logical formula (∀ x1,...,xn)( φ(x1,...,xn) → ψ(x1,...,xn))
where (φ,ψ)=g.

-- AnssiYliJyra - 13 Oct 2008 \ No newline at end of file

META TOPICMOVED by="eaxelson" date="1254311474" from="KitWiki.HfstAPIGeneralizedRestrictionLayer2" to="KitWiki.HfstAPIGeneralizedRestrictionLayer2OLD"
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2019 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback