Expression (jbool_expressions 1.23 API)

Nested Classes
Modifier and Type	Class	Description
`static class`	`Expression.HashComparator`
`static class`	`Expression.LexicographicComparator`

Fields
Modifier and Type	Field	Description
`static Comparator<Expression>`	`HASH_COMPARATOR`
`static Comparator<Expression>`	`LEXICOGRAPHIC_COMPARATOR`

Constructors
Constructor	Description
`Expression()`

All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`abstract Expression<K>`	`apply(RuleList<K> rules, ExprOptions<K> cache)`
`abstract void`	`collectK(Set<K> set, int limit)`
`Set<K>`	`getAllK()`
`abstract List<Expression<K>>`	`getChildren()`
`abstract String`	`getExprType()`
`abstract Expression<K>`	`map(Function<Expression<K>,Expression<K>> function, ExprFactory<K> factory)`
`abstract Expression<K>`	`replaceVars(Map<K,Expression<K>> m, ExprFactory<K> exprFactory)`
`abstract Expression<K>`	`sort(Comparator<Expression> comparator)`
`String`	`toLexicographicString()`

public static final Comparator<Expression> HASH_COMPARATOR

public static final Comparator<Expression> LEXICOGRAPHIC_COMPARATOR

public abstract Expression<K> apply(RuleList<K> rules,
                                    ExprOptions<K> cache)

public abstract List<Expression<K>> getChildren()

public abstract Expression<K> map(Function<Expression<K>,Expression<K>> function,
                                  ExprFactory<K> factory)

public abstract Expression<K> sort(Comparator<Expression> comparator)

public abstract void collectK(Set<K> set,
                              int limit)

public abstract Expression<K> replaceVars(Map<K,Expression<K>> m,
                                          ExprFactory<K> exprFactory)

Class Expression<K>