Partial

data class Partial( val n: ULong, val m: ULong, val items: List<ULong>, val sorted: Boolean?, val conditions: Map<UInt, List<Condition>>) : Satisfaction(source)

Constructors

constructor(n: ULong, m: ULong, items: List<ULong>, sorted: Boolean?, conditions: Map<UInt, List<Condition>>)