Alias

class Alias: RuleWrapper<ExecutionContext>

Fields

Name Description
val head: List<Term>
val alias: Struct
val ref: Ref

CompanionObject

Alias

class Alias: RuleWrapper<ExecutionContext>

Fields

Name Description
const FUNCTOR: String

Methods

forObject

fun forObject(alias: String, object: Any?): Alias

Parameters

Name Description
alias: String
object: Any?

ReturnValue

Name Description
Alias

forType

fun forType(alias: String, type: KClass<*>): Alias

Parameters

Name Description
alias: String
type: KClass<*>

ReturnValue

Name Description
Alias

of

fun of(alias: Struct, ref: Ref): Alias

Parameters

Name Description
alias: Struct
ref: Ref

ReturnValue

Name Description
Alias