package linkinversion
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
-
class
LFLinkInversionRulesProvider extends LinkInversionRulesProvider
Provide link inversion rules for links in a LF setting, i.e.
Provide link inversion rules for links in a LF setting, i.e. both domain and codomain modules import LF in some way.
val matcher = new Matcher( ctrl, // where T is a module which has LF imported (transitively) RuleSet.collectRules(ctrl, Context(T.path)) )
- See also
Example:
Value Members
-
object
LFLinkInverter
Invert links.
Invert links.
- To do
ComFreek: Add bluenote describing this.
- See also
info.kwarc.mmt.api.refactoring.linkinversion.LinkInversionRulesProvider