dsl-unify/it.unibo.tuprolog.dsl.unify/PrologScopeWithUnification/Companion

Companion

object Companion
Content copied to clipboard

Functions

Link copied to clipboard
fun empty(): PrologScopeWithUnification
Content copied to clipboard
Link copied to clipboard
fun of(unificator: <ERROR CLASS>): PrologScopeWithUnification
Content copied to clipboard