Module aya.base

Class AyaRestrSimplifier

java.lang.Object
org.aya.core.visitor.AyaRestrSimplifier
All Implemented Interfaces:
org.aya.guest0x0.cubical.RestrSimplifier<Term,LocalVar>

public final class AyaRestrSimplifier extends Object implements org.aya.guest0x0.cubical.RestrSimplifier<Term,LocalVar>
  • Nested Class Summary

    Nested classes/interfaces inherited from interface org.aya.guest0x0.cubical.RestrSimplifier

    org.aya.guest0x0.cubical.RestrSimplifier.CondCollector<T extends org.aya.guest0x0.cubical.Restr.TermLike<T>>, org.aya.guest0x0.cubical.RestrSimplifier.Key<LV>
  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final AyaRestrSimplifier
     
  • Method Summary

    Modifier and Type
    Method
    Description
    @Nullable LocalVar
    asRef(Term term)
     

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    Methods inherited from interface org.aya.guest0x0.cubical.RestrSimplifier

    embed, isOne, mapPartial, mapSplit, normalizeCof, normalizeDisj, normalizeRestr
  • Field Details

  • Method Details

    • asRef

      @Nullable public @Nullable LocalVar asRef(Term term)
      Specified by:
      asRef in interface org.aya.guest0x0.cubical.RestrSimplifier<Term,LocalVar>