1.5.1-dev02-c0569c38e

Target filter

jvm

Search in API

Skip to content

documentation

ide/it.unibo.tuprolog.ui.gui/TuPrologIDEModel/State/IDLE

IDLE

No resolution is in progress: a new one can be started with solve or solveAll.

Properties

Link copied to clipboard

val name: String

Link copied to clipboard

val ordinal: Int

Generated by Dokka

© 2026 Copyright