yafrl-testing/io.github.yafrl.testing/LTLResult/Indeterminate

Indeterminate

Indeterminate

Properties

Link copied to clipboard
val name: String
Link copied to clipboard
val ordinal: Int

Functions

Link copied to clipboard
infix fun and(other: LTLResult): LTLResult
Link copied to clipboard
infix fun implies(other: LTLResult): LTLResult
Link copied to clipboard
operator fun not(): LTLResult
Link copied to clipboard
infix fun or(other: LTLResult): LTLResult