模块 aya.base

程序包 org.aya.core.visitor

记录类 Expander.Tracked

java.lang.Object

java.lang.Record

org.aya.core.visitor.Expander.Tracked

所有已实现的接口:

Function<Term,Term>, BetaExpander, DeltaExpander, EndoFunctor, Expander

封闭接口:

Expander

public static record Expander.Tracked(@NotNull kala.collection.Set<@NotNull AnyVar> unfolding, @NotNull kala.collection.mutable.MutableSet<@NotNull AnyVar> unfolded, @NotNull TyckState state, PrimDef.Factory factory)
extends Record
implements Expander

嵌套类概要

从接口继承的嵌套类/接口 org.aya.core.visitor.EndoFunctor

EndoFunctor.Elevator, EndoFunctor.Renamer, EndoFunctor.Substituter

从接口继承的嵌套类/接口 org.aya.core.visitor.Expander

Expander.Normalizer, Expander.Tracked, Expander.WHNFer

构造器概要

构造器

构造器	说明
Tracked(@NotNull kala.collection.Set<@NotNull AnyVar> unfolding, @NotNull kala.collection.mutable.MutableSet<@NotNull AnyVar> unfolded, @NotNull TyckState state, PrimDef.Factory factory)	创建 Tracked 记录类的实例。

方法概要

修饰符和类型	方法	说明
@NotNull Term	apply(@NotNull Term term)
final boolean	equals(Object o)	指示某个其他对象是否“等于”此对象。
PrimDef.Factory	factory()	返回 factory 记录组件的值。
final int	hashCode()	返回此对象的哈希代码值。
@NotNull TyckState	state()	返回 state 记录组件的值。
final String	toString()	返回此记录类的字符串表示形式。
@NotNull kala.collection.mutable.MutableSet<@NotNull AnyVar>	unfolded()	返回 unfolded 记录组件的值。
@NotNull kala.collection.Set<@NotNull AnyVar>	unfolding()	返回 unfolding 记录组件的值。

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

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

从接口继承的方法 org.aya.core.visitor.DeltaExpander

tryUnfoldClauses, tryUnfoldClauses

从接口继承的方法 org.aya.core.visitor.EndoFunctor

pre

从接口继承的方法 org.aya.core.visitor.Expander

post

从接口继承的方法 java.util.function.Function

andThen, compose

构造器详细资料

Tracked

public Tracked(@NotNull
 @NotNull kala.collection.Set<@NotNull AnyVar> unfolding,
 @NotNull
 @NotNull kala.collection.mutable.MutableSet<@NotNull AnyVar> unfolded,
 @NotNull
 @NotNull TyckState state,
 @NotNull
 PrimDef.Factory factory)

创建 Tracked 记录类的实例。

参数:

unfolding - unfolding 记录组件的值

unfolded - unfolded 记录组件的值

state - state 记录组件的值

factory - factory 记录组件的值

方法详细资料

apply

@NotNull
public @NotNull Term apply(@NotNull
 @NotNull Term term)

指定者:

apply 在接口中 EndoFunctor

指定者:

apply 在接口中 Function<Term,Term>

toString

public final String toString()

返回此记录类的字符串表示形式。此表示形式包含类的名称，后跟每个记录组件的名称和值。

指定者:

toString 在类中 Record

返回:

此对象的字符串表示形式

hashCode

public final int hashCode()

返回此对象的哈希代码值。此值派生自每个记录组件的哈希代码。

指定者:

hashCode 在类中 Record

返回:

此对象的哈希代码值

equals

public final boolean equals(Object o)

指示某个其他对象是否“等于”此对象。如果两个对象属于同一个类，而且所有记录组件都相等，则这两个对象相等。 此记录类中的所有组件都使用 Objects::equals(Object,Object) 进行比较。

指定者:

equals 在类中 Record

参数:

o - 要与之进行比较的对象

返回:

如果此对象与 o 参数相同，则为 true；否则为 false。

unfolding

@NotNull
public @NotNull kala.collection.Set<@NotNull AnyVar> unfolding()

返回 unfolding 记录组件的值。

返回:

unfolding 记录组件的值

unfolded

@NotNull
public @NotNull kala.collection.mutable.MutableSet<@NotNull AnyVar> unfolded()

返回 unfolded 记录组件的值。

返回:

unfolded 记录组件的值

state

@NotNull
public @NotNull TyckState state()

返回 state 记录组件的值。

指定者:

state 在接口中 DeltaExpander

返回:

state 记录组件的值

factory

@NotNull
public PrimDef.Factory factory()

返回 factory 记录组件的值。

返回:

factory 记录组件的值