|
|
Scala 2
v2.1.3 |
object
SetQuantifier
extends
java.lang.Object with
scala.ScalaObject| Constructor Summary | |
def
this
|
|
| Object Summary | |
case
|
object
AllTuples
A set quantifier that defines a relation as being a bag. That means that duplicates are allowed. |
case
|
object
DistinctTuples
A set quantifier that defines a relation as being a set. That means that duplicates are not allowed and will be pruned. |
| Constructor Detail |
def
this