|
Scala
1.4.0.4 |
|||
Object Summary | |
case
|
object AllTuples
A set quantifier that defines a relation as being a bag. |
case
|
object DistinctTuples
A set quantifier that defines a relation as being a set. |
|
Scala
1.4.0.4 |
|||