package it.unibo.tuprolog.solve.flags
Classes
| Name | Description |
|---|---|
object DoubleQuotes: NotableFlag, Any
|
|
data class FlagStore: Map<String, Term>, Any
|
A storage for flags and their values |
object LastCallOptimization: NotableFlag, Any
|
|
object MaxArity: NotableFlag, Any
|
|
interface NotableFlag: Any
|
|
object Unknown: NotableFlag, Any
|