模块 aya.base

程序包 org.aya.core.term

记录类 PrimTerm.Mula

java.lang.Object

java.lang.Record

org.aya.core.term.PrimTerm.Mula

所有已实现的接口:

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

封闭接口:

PrimTerm

public static record PrimTerm.Mula(@NotNull org.aya.guest0x0.cubical.Formula<Term> asFormula)
extends Record
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 @NotNull PrimTerm.Mula	LEFT
static final @NotNull PrimTerm.Mula	RIGHT

构造器概要

构造器

构造器	说明
Mula(@NotNull org.aya.guest0x0.cubical.Formula<Term> asFormula)	创建 Mula 记录类的实例。

方法概要

修饰符和类型	方法	说明
static @NotNull PrimTerm.Mula	and(@NotNull Term lhs, @NotNull Term rhs)
@NotNull org.aya.guest0x0.cubical.Formula<Term>	asFormula()	返回 asFormula 记录组件的值。
static @NotNull PrimTerm.Mula	conn(boolean isAnd, @NotNull Term lhs, @NotNull Term rhs)
final boolean	equals(Object o)	指示某个其他对象是否“等于”此对象。
final int	hashCode()	返回此对象的哈希代码值。
static @NotNull PrimTerm.Mula	inv(@NotNull Term term)
static @NotNull PrimTerm.Mula	or(@NotNull Term lhs, @NotNull Term rhs)
final String	toString()	返回此记录类的字符串表示形式。
@NotNull kala.collection.SeqView<Term>	view()

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

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

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

debuggerOnlyToDoc

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

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

字段详细资料

LEFT

@NotNull
public static final @NotNull PrimTerm.Mula LEFT

RIGHT

@NotNull
public static final @NotNull PrimTerm.Mula RIGHT

构造器详细资料

Mula

public Mula(@NotNull
 @NotNull org.aya.guest0x0.cubical.Formula<Term> asFormula)

创建 Mula 记录类的实例。

参数:

asFormula - asFormula 记录组件的值

方法详细资料

inv

@NotNull
public static @NotNull PrimTerm.Mula inv(@NotNull
 @NotNull Term term)

and

@NotNull
public static @NotNull PrimTerm.Mula and(@NotNull
 @NotNull Term lhs,
 @NotNull
 @NotNull Term rhs)

or

@NotNull
public static @NotNull PrimTerm.Mula or(@NotNull
 @NotNull Term lhs,
 @NotNull
 @NotNull Term rhs)

conn

@NotNull
public static @NotNull PrimTerm.Mula conn(boolean isAnd,
 @NotNull
 @NotNull Term lhs,
 @NotNull
 @NotNull Term rhs)

view

@NotNull
public @NotNull kala.collection.SeqView<Term> view()

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。

asFormula

@NotNull
public @NotNull org.aya.guest0x0.cubical.Formula<Term> asFormula()

返回 asFormula 记录组件的值。

指定者:

asFormula 在接口中 org.aya.guest0x0.cubical.Restr.TermLike<Term>

返回:

asFormula 记录组件的值