模块 aya.base

程序包 org.aya.tyck

记录类 TyckState

java.lang.Object

java.lang.Record

org.aya.tyck.TyckState

public record TyckState(@NotNull kala.collection.mutable.MutableList<TyckState.Eqn> eqns, @NotNull kala.collection.mutable.MutableList<org.aya.util.error.WithPos<Meta>> activeMetas, @NotNull kala.collection.mutable.MutableMap<@NotNull Meta,@NotNull Term> metas, PrimDef.Factory primFactory)
extends Record

Currently we only deal with ambiguous equations (so no 'stuck' equations).

嵌套类概要

嵌套类

修饰符和类型	类	说明
static final record	TyckState.Eqn

构造器概要

构造器

构造器	说明
TyckState(@NotNull kala.collection.mutable.MutableList<TyckState.Eqn> eqns, @NotNull kala.collection.mutable.MutableList<org.aya.util.error.WithPos<Meta>> activeMetas, @NotNull kala.collection.mutable.MutableMap<@NotNull Meta,@NotNull Term> metas, PrimDef.Factory primFactory)	创建 TyckState 记录类的实例。
TyckState(PrimDef.Factory primFactory)

方法概要

修饰符和类型	方法	说明
@NotNull kala.collection.mutable.MutableList<org.aya.util.error.WithPos<Meta>>	activeMetas()	返回 activeMetas 记录组件的值。
void	addEqn(@NotNull TyckState.Eqn eqn)
@NotNull kala.collection.mutable.MutableList<TyckState.Eqn>	eqns()	返回 eqns 记录组件的值。
final boolean	equals(Object o)	指示某个其他对象是否“等于”此对象。
final int	hashCode()	返回此对象的哈希代码值。
@NotNull kala.collection.mutable.MutableMap<@NotNull Meta,@NotNull Term>	metas()	返回 metas 记录组件的值。
PrimDef.Factory	primFactory()	返回 primFactory 记录组件的值。
boolean	simplify(@NotNull org.aya.util.reporter.Reporter reporter, Trace.Builder tracer)
void	solveEqn(@NotNull org.aya.util.reporter.Reporter reporter, @Nullable Trace.Builder tracer, @NotNull TyckState.Eqn eqn, boolean trying)
void	solveMetas(@NotNull org.aya.util.reporter.Reporter reporter, Trace.Builder traceBuilder)
final String	toString()	返回此记录类的字符串表示形式。

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

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

构造器详细资料

TyckState

public TyckState(@NotNull
 PrimDef.Factory primFactory)

TyckState

public TyckState(@NotNull
 @NotNull kala.collection.mutable.MutableList<TyckState.Eqn> eqns,
 @NotNull
 @NotNull kala.collection.mutable.MutableList<org.aya.util.error.WithPos<Meta>> activeMetas,
 @NotNull
 @NotNull kala.collection.mutable.MutableMap<@NotNull Meta,@NotNull Term> metas,
 @NotNull
 PrimDef.Factory primFactory)

创建 TyckState 记录类的实例。

参数:

eqns - eqns 记录组件的值

activeMetas - activeMetas 记录组件的值

metas - metas 记录组件的值

primFactory - primFactory 记录组件的值

方法详细资料

solveEqn

public void solveEqn(@NotNull
 @NotNull org.aya.util.reporter.Reporter reporter,
 @Nullable Trace.Builder tracer,
 @NotNull
 @NotNull TyckState.Eqn eqn,
 boolean trying)

参数:

trying - whether to solve in a yasashi manner.

simplify

public boolean simplify(@NotNull
 @NotNull org.aya.util.reporter.Reporter reporter,
 @Nullable
 Trace.Builder tracer)

返回:

true if this.eqns and this.activeMetas are mutated.

solveMetas

public void solveMetas(@NotNull
 @NotNull org.aya.util.reporter.Reporter reporter,
 @Nullable
 Trace.Builder traceBuilder)

addEqn

public void addEqn(@NotNull
 @NotNull TyckState.Eqn eqn)

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。

eqns

@NotNull
public @NotNull kala.collection.mutable.MutableList<TyckState.Eqn> eqns()

返回 eqns 记录组件的值。

返回:

eqns 记录组件的值

activeMetas

@NotNull
public @NotNull kala.collection.mutable.MutableList<org.aya.util.error.WithPos<Meta>> activeMetas()

返回 activeMetas 记录组件的值。

返回:

activeMetas 记录组件的值

metas

@NotNull
public @NotNull kala.collection.mutable.MutableMap<@NotNull Meta,@NotNull Term> metas()

返回 metas 记录组件的值。

返回:

metas 记录组件的值

primFactory

@NotNull
public PrimDef.Factory primFactory()

返回 primFactory 记录组件的值。

返回:

primFactory 记录组件的值