solve/it.unibo.tuprolog.solve.directives/DirectiveSelector/Companion

Companion

object Companion

Properties

val Arity: <ERROR CLASS>

val DYNAMIC: <ERROR CLASS>

val Goal: <ERROR CLASS>

val INCLUDE: <ERROR CLASS>

val INITIALIZATION: <ERROR CLASS>

val LOAD: <ERROR CLASS>

val Name: <ERROR CLASS>

val OP: <ERROR CLASS>

val Priority: <ERROR CLASS>

val SET_FLAG: <ERROR CLASS>

SET_PROLOG_FLAG

val SET_PROLOG_FLAG: <ERROR CLASS>

val SOLVE: <ERROR CLASS>

val Specifier: <ERROR CLASS>

val STATIC: <ERROR CLASS>

val Value: <ERROR CLASS>