Packages

p

info.kwarc.mmt.refactoring

linkinversion

package linkinversion

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. 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.

    Example:
    1. val matcher = new Matcher( ctrl, // where T is a module which has LF imported (transitively) RuleSet.collectRules(ctrl, Context(T.path)) )

    See also

    LFLinkInverter

Value Members

  1. object LFLinkInverter

    Invert links.

    Invert links.

    To do

    ComFreek: Add bluenote describing this.

    See also

    info.kwarc.mmt.api.refactoring.linkinversion.LinkInversionRulesProvider

    LFLinkInversionRulesProvider

Ungrouped