| Package | Description |
|---|---|
| jmodelgen.core | |
| jmodelgen.util |
| Modifier and Type | Class and Description |
|---|---|
static class |
Mutable.LeftMutator<T extends Mutable<T>,S extends Domain<T>>
Implements a generic mutator which generates all possible single mutations
for a given mutable item.
|
static interface |
Mutable.Transfer<T extends Mutable<T>,S extends Domain<T>>
Provides a mechanism for manipulating the domain of a mutator based on the
sequence of children.
|
| Modifier and Type | Method and Description |
|---|---|
Domain<T> |
Domain.slice(long start,
long end)
Return a subdomain of this domain which includes all elements between the
start (inclusive) and end index (exlusive).
|
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractDomain<T> |
static class |
AbstractDomain.Binary<T,L,R>
An abstract domain for values composed from exactly two children.
|
static class |
AbstractDomain.Nary<T,S>
An abstract generator for values composed from an arbitrary number of
children.
|
static class |
AbstractDomain.Ternary<T,P,Q,R>
An abstract domain for values composed from exactly three children.
|
static class |
AbstractDomain.Unary<T,S>
An abstract domain for values composed from exactly one child.
|
static class |
Domains.Adaptor<S,T>
Provides a simple mechanism for adapting one domain for another return type.
|
| Modifier and Type | Field and Description |
|---|---|
protected Domain<S> |
Domains.Adaptor.domain |
static Domain |
Domains.EMPTY
A simple constant representing the empty domain.
|
protected Domain<S> |
AbstractDomain.Unary.subdomain |
| Modifier and Type | Method and Description |
|---|---|
static <T> Domain<List<T>> |
Domains.append(Domain<List<T>> domain,
T item)
Map every element in a given domain of lists to a corresponding domain of
lists where each element has a given item appended onto the end.
|
static Domain<Boolean> |
Domains.Bool()
A simple domain for boolean values.
|
static <T> Domain<T> |
Domains.Constrained(Domain<T> domain,
java.util.function.Predicate<T> constraint)
A domain constructed from all values in a given domain meeting a given
constraint.
|
static <T> Domain<T> |
Domains.Finite(T... items)
A domain constructed from a finite set of values.
|
static Domain<Integer> |
Domains.Int(int lower,
int upper)
A domain for integers based on a range which includes all values between a
given lower bound and a given upper bound (inclusive).
|
static <T> Domain<List<T>> |
Domains.List(int min,
int max,
Domain<T> generator)
Return a domain which generates lists whose length is between a given minimum
and maximum value.
|
static <T> Domain<T> |
Domains.ParallelConstrained(Domain<T> domain,
java.util.function.Predicate<T> constraint)
An experimental domain constructed from all values in a given domain meeting
a given constraint.
|
static <T> Domain<T[]> |
Domains.Product(Domain<? extends T>[] fields,
T... dummy)
A domain construct from the cartesian product of a given set of fields.
|
static <T> Domain<T> |
Domains.Sample(Domain<T> domain,
int n)
Constraint a domain which contains exactly
n elements of a domain
chosen uniformly at random according to Knuth's algorithm S. |
Domain<T> |
AbstractDomain.slice(long start,
long end) |
Domain<T> |
Domains.Adaptor.slice(long start,
long end) |
static <T> Domain<T> |
Domains.Union(Domain<? extends T>... subdomains)
A domain constructed from the union of one or more other domain.
|
| Modifier and Type | Method and Description |
|---|---|
static <T> Domain<List<T>> |
Domains.append(Domain<List<T>> domain,
T item)
Map every element in a given domain of lists to a corresponding domain of
lists where each element has a given item appended onto the end.
|
static <T> void |
Domains.apply(Domain<T> domain,
long n,
java.util.function.Consumer<T> consumer)
Apply a given lambda consumer to exactly
n elements of a domain
chosen uniformly at random according to Knuth's algorithm S. |
static <T> void |
Domains.apply(Domain<T> domain,
java.util.function.Predicate<T> condition,
java.util.function.Consumer<T> consumer)
Apply a given lambda consumer to all elements matching a given condition of a
domain.
|
static <T> Domain<T> |
Domains.Constrained(Domain<T> domain,
java.util.function.Predicate<T> constraint)
A domain constructed from all values in a given domain meeting a given
constraint.
|
static <T> Domain<List<T>> |
Domains.List(int min,
int max,
Domain<T> generator)
Return a domain which generates lists whose length is between a given minimum
and maximum value.
|
static <T> Domain<T> |
Domains.ParallelConstrained(Domain<T> domain,
java.util.function.Predicate<T> constraint)
An experimental domain constructed from all values in a given domain meeting
a given constraint.
|
static <T> Domain<T[]> |
Domains.Product(Domain<? extends T>[] fields,
T... dummy)
A domain construct from the cartesian product of a given set of fields.
|
static <T> Domain<T> |
Domains.Sample(Domain<T> domain,
int n)
Constraint a domain which contains exactly
n elements of a domain
chosen uniformly at random according to Knuth's algorithm S. |
static <T> Domain<T> |
Domains.Union(Domain<? extends T>... subdomains)
A domain constructed from the union of one or more other domain.
|
| Constructor and Description |
|---|
Adaptor(Domain<S> domain) |
Binary(Domain<L> left,
Domain<R> right) |
Binary(Domain<L> left,
Domain<R> right) |
Nary(int max,
Domain<S> generator) |
Nary(int min,
int max,
Domain<S> generator) |
Ternary(Domain<P> first,
Domain<Q> second,
Domain<R> third) |
Ternary(Domain<P> first,
Domain<Q> second,
Domain<R> third) |
Ternary(Domain<P> first,
Domain<Q> second,
Domain<R> third) |
Unary(Domain<S> subdomain) |
Copyright © 2019. All rights reserved.