Package | Description |
---|---|
eu.bandm.tools.ramus.runtime |
Modifier and Type | Method and Description |
---|---|
static <A> Persistent.PSet<A> |
Persistent.PSet.empty() |
static <A> Persistent.PSet<A> |
Persistent.emptySet() |
Persistent.PSet<java.util.Map.Entry<A,B>> |
Persistent.PMap.entrySet() |
static <A> Persistent.PSet<A> |
Persistent.setOf(A... elems) |
static <A> Persistent.PSet<A> |
Persistent.singletonSet(A elem) |
Persistent.PSet<A> |
Persistent.PSet.with(A elem) |
Persistent.PSet<A> |
Persistent.PSet.withAll(A... elems) |
Persistent.PSet<A> |
Persistent.PSet.withAll(java.util.Collection<? extends A> elems) |
see also the complete user documentation .