public abstract class Backtrack extends Object
Modifier and Type | Class and Description |
---|---|
static class |
Backtrack.Exploration<A> |
Constructor and Description |
---|
Backtrack() |
Modifier and Type | Method and Description |
---|---|
static <A> Backtrack.Exploration<A> |
choice(Backtrack.Exploration<A>... clauses) |
static <A> Backtrack.Exploration<A> |
fail() |
static <A> Backtrack.Exploration<A> |
guard(Predicate<? super A> pred) |
static void |
main(String[] args) |
static <A> Backtrack.Exploration<A> |
map(Function<? super A,? extends A> fun) |
static <A> Backtrack.Exploration<A> |
plus(Backtrack.Exploration<A> step,
boolean greedy) |
static <A> Backtrack.Exploration<A> |
sequence(Backtrack.Exploration<A>... steps) |
static <A> Backtrack.Exploration<A> |
star(Backtrack.Exploration<A> step,
boolean greedy) |
static <A> Backtrack.Exploration<A> |
succeed() |
static <A> Backtrack.Exploration<A> |
yield(A value) |
public static <A> Backtrack.Exploration<A> fail()
public static <A> Backtrack.Exploration<A> succeed()
public static <A> Backtrack.Exploration<A> yield(A value)
public static <A> Backtrack.Exploration<A> guard(Predicate<? super A> pred)
public static <A> Backtrack.Exploration<A> map(Function<? super A,? extends A> fun)
public static <A> Backtrack.Exploration<A> sequence(Backtrack.Exploration<A>... steps)
public static <A> Backtrack.Exploration<A> choice(Backtrack.Exploration<A>... clauses)
public static <A> Backtrack.Exploration<A> plus(Backtrack.Exploration<A> step, boolean greedy)
public static <A> Backtrack.Exploration<A> star(Backtrack.Exploration<A> step, boolean greedy)
public static void main(String[] args)
see also the complete user documentation .