solve/it.unibo.tuprolog.solve.flags/ShowWildCardVariablesInSolutions

ShowWildCardVariablesInSolutions

object ShowWildCardVariablesInSolutions : NotableFlag

An implementation-specific flag controlling whether wildcard variables (those whose name starts with _, e.g. _P, per it.unibo.tuprolog.core.Var.isWildcard) appear in a it.unibo.tuprolog.solve.Solution's substitution. Defaults to ON (unaffected, standard behaviour); set to OFF to hide them, matching common Prolog tooling convention (see issue #980).

Properties

admissibleValues

open override val admissibleValues: FlagDomain.Enumerated

Every legal value this flag may take.

open override val defaultValue: Term

The value this flag takes unless explicitly set otherwise.

open override val help: String

Markdown documentation exposed through help(flag(Name), Help).

open val isEditable: Boolean

Whether this flag's value can be changed at all (false for e.g. MaxArity).

open override val name: String

This flag's name, as it appears as the key in a FlagStore (e.g. "unknown", "double_quotes").

Wildcard variables are hidden from solutions' substitutions.

val ON: Atom

Wildcard variables are shown in solutions' substitutions.

Functions

isAdmissibleValue

open fun isAdmissibleValue(value: Term): Boolean

Whether value is one of admissibleValues.

open infix fun to(value: Term): Pair<String, Term>

This flag's name paired with value, ready to be inserted into a FlagStore.

open fun toPair(): Pair<String, Term>

This flag's name paired with its defaultValue, ready to be inserted into a FlagStore.