alchemist/it.unibo.alchemist.model/Environment/isTerminated

isTerminated

abstract val isTerminated: Boolean

Whether any of the terminators is satisfied.

Generated by Dokka
(c) Danilo Pianini and contributors listed in the Alchemist build files