parser-core/it.unibo.tuprolog.core.parsing/ParseException/clauseIndex

clauseIndex

var clauseIndex: Int

Zero-based failing clause index, or -1 when the failure is not associated with a theory.

Generated by Dokka
© 2026 Copyright