模块 aya.base

程序包 org.aya.core.term

类 PrimTerm.Interval

java.lang.Object

org.aya.core.term.PrimTerm.Interval

所有已实现的接口:

PrimTerm, Term, AyaDocile, org.aya.guest0x0.cubical.Restr.TermLike<Term>

封闭接口:

PrimTerm

public static final class PrimTerm.Interval
extends Object
implements PrimTerm

嵌套类概要

从接口继承的嵌套类/接口 org.aya.core.term.PrimTerm

PrimTerm.Coe, PrimTerm.Interval, PrimTerm.Mula, PrimTerm.Str

从接口继承的嵌套类/接口 org.aya.guest0x0.cubical.Restr.TermLike

org.aya.guest0x0.cubical.Restr.TermLike.Factory<T>

从接口继承的嵌套类/接口 org.aya.core.term.Term

Term.Param

字段概要

字段

修饰符和类型	字段	说明
static final PrimTerm.Interval	INSTANCE

方法概要

从类继承的方法 java.lang.Object

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

从接口继承的方法 org.aya.generic.AyaDocile

debuggerOnlyToDoc

从接口继承的方法 org.aya.guest0x0.cubical.Restr.TermLike

asFormula

从接口继承的方法 org.aya.core.term.Term

computeType, descent, findUsages, freezeHoles, lift, normalize, rename, scopeCheck, subst, subst, subst, subst, toDoc

字段详细资料

INSTANCE

public static final PrimTerm.Interval INSTANCE