MagicCut

Functions

open fun <T> accept(visitor: <ERROR CLASS><T>): T

open fun apply(substitution: <ERROR CLASS>): <ERROR CLASS>

open fun apply(substitution: <ERROR CLASS>, vararg substitutions: <ERROR CLASS>): <ERROR CLASS>

open fun asAtom(): <ERROR CLASS>

open fun asConstant(): <ERROR CLASS>

open fun asStruct(): <ERROR CLASS>

open fun castToAtom(): <ERROR CLASS>

open fun castToConstant(): <ERROR CLASS>

open fun castToStruct(): <ERROR CLASS>

open fun freshCopy(): <ERROR CLASS>

open fun freshCopy(scope: <ERROR CLASS>): <ERROR CLASS>

open fun get(substitution: <ERROR CLASS>, vararg substitutions: <ERROR CLASS>): <ERROR CLASS>

open override fun toString(): String