A B C D E F G H I L M N O P Q R S T U V W

A

adaptor - Variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

addAll(Collection<Expression<K>>, Expression<K>[]) - Static method in class com.bpodgursky.jbool_expressions.ExprUtil

allCacheIntern() - Static method in class com.bpodgursky.jbool_expressions.options.ExprOptions

Cache all rule results, and also intern all expressions for maximum memory optimization

allExceptMatch(Expression<K>[], Expression<K>, ExprOptions<K>) - Static method in class com.bpodgursky.jbool_expressions.ExprUtil

allExceptMatch(Collection<Expression<K>>, Set<? extends Expression<K>>, ExprOptions<K>) - Static method in class com.bpodgursky.jbool_expressions.ExprUtil

allExceptMatch(List<Expression<K>>, Expression<K>, ExprOptions<K>) - Static method in class com.bpodgursky.jbool_expressions.ExprUtil

and(Expression<K>[]) - Method in interface com.bpodgursky.jbool_expressions.util.ExprFactory

and(Expression<K>[]) - Method in class com.bpodgursky.jbool_expressions.util.ExprFactory.Default

and(Expression<K>[]) - Method in class com.bpodgursky.jbool_expressions.util.ExprFactory.Interning

And<K> - Class in com.bpodgursky.jbool_expressions

AND - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

AND - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

AND_SEED - Static variable in class com.bpodgursky.jbool_expressions.Seeds

andexpression() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

andexpression_return() - Constructor for class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser.andexpression_return

apply(Expression<K>) - Method in class com.bpodgursky.jbool_expressions.InternFunction.None

apply(Expression<K>) - Method in class com.bpodgursky.jbool_expressions.rules.Intern

apply(Expression<K>, ExprOptions<K>) - Method in class com.bpodgursky.jbool_expressions.rules.Rule

apply(RuleList<K>, ExprOptions<K>) - Method in class com.bpodgursky.jbool_expressions.And

apply(RuleList<K>, ExprOptions<K>) - Method in class com.bpodgursky.jbool_expressions.Expression

apply(RuleList<K>, ExprOptions<K>) - Method in class com.bpodgursky.jbool_expressions.Literal

apply(RuleList<K>, ExprOptions<K>) - Method in class com.bpodgursky.jbool_expressions.Not

apply(RuleList<K>, ExprOptions<K>) - Method in class com.bpodgursky.jbool_expressions.Or

apply(RuleList<K>, ExprOptions<K>) - Method in class com.bpodgursky.jbool_expressions.Variable

applyAll(Expression<K>, RuleList<K>, ExprOptions<K>) - Static method in class com.bpodgursky.jbool_expressions.rules.RulesHelper

applyInternal(And<K>, ExprOptions<K>) - Method in class com.bpodgursky.jbool_expressions.rules.CombineAnd

applyInternal(And<K>, ExprOptions<K>) - Method in class com.bpodgursky.jbool_expressions.rules.SimplifyAnd

applyInternal(And<K>, ExprOptions<K>) - Method in class com.bpodgursky.jbool_expressions.rules.ToSOP

applyInternal(Expression<K>, ExprOptions<K>) - Method in class com.bpodgursky.jbool_expressions.rules.QMC

applyInternal(NExpression<K>, ExprOptions<K>) - Method in class com.bpodgursky.jbool_expressions.rules.CollapseNegation

applyInternal(NExpression<K>, ExprOptions<K>) - Method in class com.bpodgursky.jbool_expressions.rules.SimplifyNExprChildren

applyInternal(NExpression<K>, ExprOptions<K>) - Method in class com.bpodgursky.jbool_expressions.rules.SimplifyNExpression

applyInternal(Not<K>, ExprOptions<K>) - Method in class com.bpodgursky.jbool_expressions.rules.DeMorgan

applyInternal(Not<K>, ExprOptions<K>) - Method in class com.bpodgursky.jbool_expressions.rules.SimplifyNot

applyInternal(Or<K>, ExprOptions<K>) - Method in class com.bpodgursky.jbool_expressions.rules.CombineOr

applyInternal(Or<K>, ExprOptions<K>) - Method in class com.bpodgursky.jbool_expressions.rules.SimplifyOr

applyInternal(E, ExprOptions<K>) - Method in class com.bpodgursky.jbool_expressions.rules.Rule

applySet(Expression<K>, RuleList<K>, ExprOptions<K>) - Static method in class com.bpodgursky.jbool_expressions.rules.RulesHelper

assign(Expression<K>, Map<K, Boolean>) - Static method in class com.bpodgursky.jbool_expressions.rules.RuleSet

assign(Expression<K>, Map<K, Boolean>, ExprOptions<K>) - Static method in class com.bpodgursky.jbool_expressions.rules.RuleSet

assign(Expression<K>, Map<K, Boolean>, RuleList<K>, ExprOptions<K>) - Static method in class com.bpodgursky.jbool_expressions.rules.QuineMcCluskey

atom() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

atom_return() - Constructor for class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser.atom_return

B

BenchmarkCorrectness - Class in com.bpodgursky.jbool_expressions.benchmark

BenchmarkCorrectness() - Constructor for class com.bpodgursky.jbool_expressions.benchmark.BenchmarkCorrectness

BenchmarkPerformance - Class in com.bpodgursky.jbool_expressions.benchmark

BenchmarkPerformance() - Constructor for class com.bpodgursky.jbool_expressions.benchmark.BenchmarkPerformance

BenchmarkQMC - Class in com.bpodgursky.jbool_expressions.benchmark

BenchmarkQMC() - Constructor for class com.bpodgursky.jbool_expressions.benchmark.BenchmarkQMC

BooleanExprLexer - Class in com.bpodgursky.jbool_expressions.parsers

BooleanExprLexer() - Constructor for class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

BooleanExprLexer(CharStream) - Constructor for class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

BooleanExprLexer(CharStream, RecognizerSharedState) - Constructor for class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

BooleanExprParser - Class in com.bpodgursky.jbool_expressions.parsers

BooleanExprParser(TokenStream) - Constructor for class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

BooleanExprParser(TokenStream, RecognizerSharedState) - Constructor for class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

BooleanExprParser.andexpression_return - Class in com.bpodgursky.jbool_expressions.parsers

BooleanExprParser.atom_return - Class in com.bpodgursky.jbool_expressions.parsers

BooleanExprParser.expression_return - Class in com.bpodgursky.jbool_expressions.parsers

BooleanExprParser.notexpression_return - Class in com.bpodgursky.jbool_expressions.parsers

BooleanExprParser.orexpression_return - Class in com.bpodgursky.jbool_expressions.parsers

booleanRules() - Static method in class com.bpodgursky.jbool_expressions.eval.EvalEngine

C

checkEquivalent(Expression<K>, Expression<K>) - Static method in class com.bpodgursky.jbool_expressions.benchmark.BenchmarkQMC

CollapseNegation<K> - Class in com.bpodgursky.jbool_expressions.rules

CollapseNegation() - Constructor for class com.bpodgursky.jbool_expressions.rules.CollapseNegation

collapseToSOP(And<K>, Or<K>, Expression<K>, ExprOptions<K>) - Static method in class com.bpodgursky.jbool_expressions.ExprUtil

collectK(Set<K>, int) - Method in class com.bpodgursky.jbool_expressions.Expression

collectK(Set<K>, int) - Method in class com.bpodgursky.jbool_expressions.Literal

collectK(Set<K>, int) - Method in class com.bpodgursky.jbool_expressions.NExpression

collectK(Set<K>, int) - Method in class com.bpodgursky.jbool_expressions.Not

collectK(Set<K>, int) - Method in class com.bpodgursky.jbool_expressions.Variable

com.bpodgursky.jbool_expressions - package com.bpodgursky.jbool_expressions

com.bpodgursky.jbool_expressions.benchmark - package com.bpodgursky.jbool_expressions.benchmark

com.bpodgursky.jbool_expressions.cache - package com.bpodgursky.jbool_expressions.cache

com.bpodgursky.jbool_expressions.eval - package com.bpodgursky.jbool_expressions.eval

com.bpodgursky.jbool_expressions.example - package com.bpodgursky.jbool_expressions.example

com.bpodgursky.jbool_expressions.options - package com.bpodgursky.jbool_expressions.options

com.bpodgursky.jbool_expressions.parsers - package com.bpodgursky.jbool_expressions.parsers

com.bpodgursky.jbool_expressions.rules - package com.bpodgursky.jbool_expressions.rules

com.bpodgursky.jbool_expressions.util - package com.bpodgursky.jbool_expressions.util

CombineAnd<K> - Class in com.bpodgursky.jbool_expressions.rules

CombineAnd() - Constructor for class com.bpodgursky.jbool_expressions.rules.CombineAnd

CombineOr<K> - Class in com.bpodgursky.jbool_expressions.rules

CombineOr() - Constructor for class com.bpodgursky.jbool_expressions.rules.CombineOr

compare(Expression, Expression) - Method in class com.bpodgursky.jbool_expressions.Expression.HashComparator

compare(Expression, Expression) - Method in class com.bpodgursky.jbool_expressions.Expression.LexicographicComparator

D

Default() - Constructor for class com.bpodgursky.jbool_expressions.util.ExprFactory.Default

DeMorgan<K> - Class in com.bpodgursky.jbool_expressions.rules

DeMorgan() - Constructor for class com.bpodgursky.jbool_expressions.rules.DeMorgan

demorganRules() - Static method in class com.bpodgursky.jbool_expressions.rules.RulesHelper

DOUBLE_QUOTED_NAME - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

DOUBLE_QUOTED_NAME - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

E

EOF - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

EOF - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

equals(Object) - Method in class com.bpodgursky.jbool_expressions.Literal

equals(Object) - Method in class com.bpodgursky.jbool_expressions.NExpression

equals(Object) - Method in class com.bpodgursky.jbool_expressions.Not

equals(Object) - Method in class com.bpodgursky.jbool_expressions.rules.QuineMcCluskey.Implicant

equals(Object) - Method in class com.bpodgursky.jbool_expressions.Variable

EvalAnd<K> - Class in com.bpodgursky.jbool_expressions.eval

EvalAnd() - Constructor for class com.bpodgursky.jbool_expressions.eval.EvalAnd

EvalEngine - Class in com.bpodgursky.jbool_expressions.eval

EvalEngine() - Constructor for class com.bpodgursky.jbool_expressions.eval.EvalEngine

EvalLiteral<K> - Class in com.bpodgursky.jbool_expressions.eval

EvalLiteral() - Constructor for class com.bpodgursky.jbool_expressions.eval.EvalLiteral

EvalNot<K> - Class in com.bpodgursky.jbool_expressions.eval

EvalNot() - Constructor for class com.bpodgursky.jbool_expressions.eval.EvalNot

EvalOr<K> - Class in com.bpodgursky.jbool_expressions.eval

EvalOr() - Constructor for class com.bpodgursky.jbool_expressions.eval.EvalOr

EvalRule<K> - Class in com.bpodgursky.jbool_expressions.eval

EvalRule() - Constructor for class com.bpodgursky.jbool_expressions.eval.EvalRule

EvalSet - Class in com.bpodgursky.jbool_expressions.eval

EvalSet() - Constructor for class com.bpodgursky.jbool_expressions.eval.EvalSet

evaluate(Expression<K>, Map<String, EvalRule<K>>) - Method in class com.bpodgursky.jbool_expressions.eval.EvalAnd

evaluate(Expression<K>, Map<String, EvalRule<K>>) - Static method in class com.bpodgursky.jbool_expressions.eval.EvalEngine

evaluate(Expression<K>, Map<String, EvalRule<K>>) - Method in class com.bpodgursky.jbool_expressions.eval.EvalLiteral

evaluate(Expression<K>, Map<String, EvalRule<K>>) - Method in class com.bpodgursky.jbool_expressions.eval.EvalNot

evaluate(Expression<K>, Map<String, EvalRule<K>>) - Method in class com.bpodgursky.jbool_expressions.eval.EvalOr

evaluate(Expression<K>, Map<String, EvalRule<K>>) - Method in class com.bpodgursky.jbool_expressions.eval.EvalRule

evaluate(Expression<K>, Map<String, EvalRule<K>>) - Method in class com.bpodgursky.jbool_expressions.eval.EvalVariable

evaluateBoolean(Expression<K>, Map<K, Boolean>) - Static method in class com.bpodgursky.jbool_expressions.eval.EvalEngine

evaluateInternal(Expression<K>, Map<String, EvalRule<K>>) - Static method in class com.bpodgursky.jbool_expressions.eval.EvalRule

EvalVariable<K> - Class in com.bpodgursky.jbool_expressions.eval

EvalVariable(Map<K, Boolean>) - Constructor for class com.bpodgursky.jbool_expressions.eval.EvalVariable

ExampleRunner - Class in com.bpodgursky.jbool_expressions.example

ExampleRunner() - Constructor for class com.bpodgursky.jbool_expressions.example.ExampleRunner

expr(int) - Static method in class com.bpodgursky.jbool_expressions.ExprUtil

EXPR_TYPE - Static variable in class com.bpodgursky.jbool_expressions.And

EXPR_TYPE - Static variable in class com.bpodgursky.jbool_expressions.Literal

EXPR_TYPE - Static variable in class com.bpodgursky.jbool_expressions.Not

EXPR_TYPE - Static variable in class com.bpodgursky.jbool_expressions.Or

EXPR_TYPE - Static variable in class com.bpodgursky.jbool_expressions.Variable

expression() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

Expression<K> - Class in com.bpodgursky.jbool_expressions

Expression() - Constructor for class com.bpodgursky.jbool_expressions.Expression

expression_return() - Constructor for class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser.expression_return

Expression.HashComparator - Class in com.bpodgursky.jbool_expressions

Expression.LexicographicComparator - Class in com.bpodgursky.jbool_expressions

expressions - Variable in class com.bpodgursky.jbool_expressions.NExpression

ExprFactory<K> - Interface in com.bpodgursky.jbool_expressions.util

ExprFactory.Default<K> - Class in com.bpodgursky.jbool_expressions.util

ExprFactory.Interning<K> - Class in com.bpodgursky.jbool_expressions.util

ExprOptions<K> - Class in com.bpodgursky.jbool_expressions.options

ExprOptions(InternFunction<K>, RuleSetCache<K>, RuleCache<K>, ExprFactory<K>) - Constructor for class com.bpodgursky.jbool_expressions.options.ExprOptions

ExprParser - Class in com.bpodgursky.jbool_expressions.parsers

ExprParser() - Constructor for class com.bpodgursky.jbool_expressions.parsers.ExprParser

ExprUtil - Class in com.bpodgursky.jbool_expressions

ExprUtil() - Constructor for class com.bpodgursky.jbool_expressions.ExprUtil

F

FALSE - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

FALSE - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

findMinterms(int, ArrayList<K>, Expression<K>, Map<K, Boolean>, List<Integer>, RuleList<K>, ExprOptions<K>) - Static method in class com.bpodgursky.jbool_expressions.rules.QuineMcCluskey

findMinterms(int, ArrayList<K>, Map<K, Boolean>, Expression<K>, RuleList<K>, ExprOptions<K>) - Static method in class com.bpodgursky.jbool_expressions.rules.QuineMcCluskey

FOLLOW_AND_in_andexpression222 - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

FOLLOW_andexpression_in_orexpression204 - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

FOLLOW_andexpression_in_orexpression210 - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

FOLLOW_atom_in_notexpression241 - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

FOLLOW_DOUBLE_QUOTED_NAME_in_atom264 - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

FOLLOW_FALSE_in_atom252 - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

FOLLOW_LPAREN_in_atom268 - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

FOLLOW_NAME_in_atom256 - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

FOLLOW_NOT_in_notexpression234 - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

FOLLOW_notexpression_in_andexpression219 - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

FOLLOW_notexpression_in_andexpression225 - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

FOLLOW_notexpression_in_notexpression237 - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

FOLLOW_OR_in_orexpression207 - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

FOLLOW_orexpression_in_atom271 - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

FOLLOW_orexpression_in_expression197 - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

FOLLOW_QUOTED_NAME_in_atom260 - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

FOLLOW_RPAREN_in_atom273 - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

FOLLOW_TRUE_in_atom248 - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

G

GenerateExpressionExamples - Class in com.bpodgursky.jbool_expressions.benchmark

GenerateExpressionExamples() - Constructor for class com.bpodgursky.jbool_expressions.benchmark.GenerateExpressionExamples

get(RuleList<K>, Expression<K>) - Method in interface com.bpodgursky.jbool_expressions.cache.RuleSetCache

get(RuleList<K>, Expression<K>) - Method in class com.bpodgursky.jbool_expressions.cache.RuleSetCache.NoCache

get(RuleList<K>, Expression<K>) - Method in class com.bpodgursky.jbool_expressions.cache.UnboundedRuleSetCache

get(Class<? extends Rule>, Expression<K>) - Method in interface com.bpodgursky.jbool_expressions.cache.RuleCache

get(Class<? extends Rule>, Expression<K>) - Method in class com.bpodgursky.jbool_expressions.cache.RuleCache.NoCache

get(Class<? extends Rule>, Expression<K>) - Method in class com.bpodgursky.jbool_expressions.cache.UnboundedRuleCache

getAllK() - Method in class com.bpodgursky.jbool_expressions.Expression

getAllK() - Method in class com.bpodgursky.jbool_expressions.Not

getChildren() - Method in class com.bpodgursky.jbool_expressions.Expression

getChildren() - Method in class com.bpodgursky.jbool_expressions.Literal

getChildren() - Method in class com.bpodgursky.jbool_expressions.NExpression

getChildren() - Method in class com.bpodgursky.jbool_expressions.Not

getChildren() - Method in class com.bpodgursky.jbool_expressions.Variable

getConstraintsByWeight(Expression<K>, ExprOptions<K>) - Static method in class com.bpodgursky.jbool_expressions.ExprUtil

getDelegates() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

getDelegates() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

getE() - Method in class com.bpodgursky.jbool_expressions.Not

getEpis() - Method in class com.bpodgursky.jbool_expressions.rules.QuineMcCluskey.EPICalculation

getEssentialPrimeImplicants(Set<QuineMcCluskey.Implicant>, List<Integer>) - Static method in class com.bpodgursky.jbool_expressions.rules.QuineMcCluskey

getExprFactory() - Method in class com.bpodgursky.jbool_expressions.options.ExprOptions

getExprType() - Method in class com.bpodgursky.jbool_expressions.And

getExprType() - Method in class com.bpodgursky.jbool_expressions.Expression

getExprType() - Method in class com.bpodgursky.jbool_expressions.Literal

getExprType() - Method in class com.bpodgursky.jbool_expressions.Not

getExprType() - Method in class com.bpodgursky.jbool_expressions.Or

getExprType() - Method in class com.bpodgursky.jbool_expressions.Variable

getFalse() - Static method in class com.bpodgursky.jbool_expressions.Literal

getGrammarFileName() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

getGrammarFileName() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

getKey() - Method in class com.bpodgursky.jbool_expressions.rules.RuleList

getMergedImplicants(List<Integer>) - Static method in class com.bpodgursky.jbool_expressions.rules.QuineMcCluskey

getPetrickMethodImplicants(List<K>, List<Integer>, List<QuineMcCluskey.Implicant>) - Static method in class com.bpodgursky.jbool_expressions.rules.QuineMcCluskey

getPreInternFunction() - Method in class com.bpodgursky.jbool_expressions.options.ExprOptions

getRuleCache() - Method in class com.bpodgursky.jbool_expressions.options.ExprOptions

getRules() - Method in class com.bpodgursky.jbool_expressions.rules.RuleList

getRuleSetCache() - Method in class com.bpodgursky.jbool_expressions.options.ExprOptions

getTokenNames() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

getTree() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser.andexpression_return

getTree() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser.atom_return

getTree() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser.expression_return

getTree() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser.notexpression_return

getTree() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser.orexpression_return

getTreeAdaptor() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

getTrue() - Static method in class com.bpodgursky.jbool_expressions.Literal

getUncoveredMinterms() - Method in class com.bpodgursky.jbool_expressions.rules.QuineMcCluskey.EPICalculation

getValue() - Method in class com.bpodgursky.jbool_expressions.Literal

getValue() - Method in class com.bpodgursky.jbool_expressions.Variable

getValue(String) - Method in class com.bpodgursky.jbool_expressions.parsers.QuotedMapper

getVariable(String) - Method in class com.bpodgursky.jbool_expressions.parsers.IdentityMap

getVariable(String) - Method in class com.bpodgursky.jbool_expressions.parsers.QuotedMapper

getVariable(String) - Method in interface com.bpodgursky.jbool_expressions.parsers.TokenMapper

getVariables(Expression<K>) - Static method in class com.bpodgursky.jbool_expressions.ExprUtil

H

HASH_COMPARATOR - Static variable in class com.bpodgursky.jbool_expressions.Expression

hashCode() - Method in class com.bpodgursky.jbool_expressions.Literal

hashCode() - Method in class com.bpodgursky.jbool_expressions.NExpression

hashCode() - Method in class com.bpodgursky.jbool_expressions.Not

hashCode() - Method in class com.bpodgursky.jbool_expressions.rules.QuineMcCluskey.Implicant

hashCode() - Method in class com.bpodgursky.jbool_expressions.Variable

HashComparator() - Constructor for class com.bpodgursky.jbool_expressions.Expression.HashComparator

I

IdentityMap - Class in com.bpodgursky.jbool_expressions.parsers

IdentityMap() - Constructor for class com.bpodgursky.jbool_expressions.parsers.IdentityMap

Implicant(int, int) - Constructor for class com.bpodgursky.jbool_expressions.rules.QuineMcCluskey.Implicant

Intern<K> - Class in com.bpodgursky.jbool_expressions.rules

Intern(Map<Expression<K>, Expression<K>>) - Constructor for class com.bpodgursky.jbool_expressions.rules.Intern

InternFunction<K> - Interface in com.bpodgursky.jbool_expressions

InternFunction.None<K> - Class in com.bpodgursky.jbool_expressions

Interning(Map<Expression<K>, Expression<K>>) - Constructor for class com.bpodgursky.jbool_expressions.util.ExprFactory.Interning

isApply(Expression) - Method in class com.bpodgursky.jbool_expressions.rules.CombineOr

isApply(Expression) - Method in class com.bpodgursky.jbool_expressions.rules.DeMorgan

isApply(Expression<K>) - Method in class com.bpodgursky.jbool_expressions.rules.CollapseNegation

isApply(Expression<K>) - Method in class com.bpodgursky.jbool_expressions.rules.CombineAnd

isApply(Expression<K>) - Method in class com.bpodgursky.jbool_expressions.rules.QMC

isApply(Expression<K>) - Method in class com.bpodgursky.jbool_expressions.rules.Rule

isApply(Expression<K>) - Method in class com.bpodgursky.jbool_expressions.rules.SimplifyAnd

isApply(Expression<K>) - Method in class com.bpodgursky.jbool_expressions.rules.SimplifyNExprChildren

isApply(Expression<K>) - Method in class com.bpodgursky.jbool_expressions.rules.SimplifyNExpression

isApply(Expression<K>) - Method in class com.bpodgursky.jbool_expressions.rules.SimplifyNot

isApply(Expression<K>) - Method in class com.bpodgursky.jbool_expressions.rules.SimplifyOr

isApply(Expression<K>) - Method in class com.bpodgursky.jbool_expressions.rules.ToSOP

L

LEXICOGRAPHIC_COMPARATOR - Static variable in class com.bpodgursky.jbool_expressions.Expression

LexicographicComparator() - Constructor for class com.bpodgursky.jbool_expressions.Expression.LexicographicComparator

list(Expression...) - Static method in class com.bpodgursky.jbool_expressions.ExprUtil

Literal<K> - Class in com.bpodgursky.jbool_expressions

LPAREN - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

LPAREN - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

M

main(String[]) - Static method in class com.bpodgursky.jbool_expressions.benchmark.BenchmarkCorrectness

main(String[]) - Static method in class com.bpodgursky.jbool_expressions.benchmark.BenchmarkPerformance

main(String[]) - Static method in class com.bpodgursky.jbool_expressions.benchmark.BenchmarkQMC

main(String[]) - Static method in class com.bpodgursky.jbool_expressions.benchmark.GenerateExpressionExamples

main(String[]) - Static method in class com.bpodgursky.jbool_expressions.example.ExampleRunner

mAND() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

map(Function<Expression<K>, Expression<K>>, ExprFactory<K>) - Method in class com.bpodgursky.jbool_expressions.And

map(Function<Expression<K>, Expression<K>>, ExprFactory<K>) - Method in class com.bpodgursky.jbool_expressions.Expression

map(Function<Expression<K>, Expression<K>>, ExprFactory<K>) - Method in class com.bpodgursky.jbool_expressions.Literal

map(Function<Expression<K>, Expression<K>>, ExprFactory<K>) - Method in class com.bpodgursky.jbool_expressions.Not

map(Function<Expression<K>, Expression<K>>, ExprFactory<K>) - Method in class com.bpodgursky.jbool_expressions.Or

map(Function<Expression<K>, Expression<K>>, ExprFactory<K>) - Method in class com.bpodgursky.jbool_expressions.Variable

mDOUBLE_QUOTED_NAME() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

mFALSE() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

mLPAREN() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

mNAME() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

mNOT() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

mOR() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

mQUOTED_NAME() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

mRPAREN() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

mTokens() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

mTRUE() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

mWS() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

N

NAME - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

NAME - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

NExpression<K> - Class in com.bpodgursky.jbool_expressions

NExpression(Expression<K>[], int, Comparator<Expression>) - Constructor for class com.bpodgursky.jbool_expressions.NExpression

NoCache() - Constructor for class com.bpodgursky.jbool_expressions.cache.RuleCache.NoCache

NoCache() - Constructor for class com.bpodgursky.jbool_expressions.cache.RuleSetCache.NoCache

noCaching() - Static method in class com.bpodgursky.jbool_expressions.options.ExprOptions

No caching, no interning

None() - Constructor for class com.bpodgursky.jbool_expressions.InternFunction.None

not(Expression<K>) - Method in class com.bpodgursky.jbool_expressions.util.ExprFactory.Default

not(Expression<K>) - Method in class com.bpodgursky.jbool_expressions.util.ExprFactory.Interning

not(Expression<K>) - Method in interface com.bpodgursky.jbool_expressions.util.ExprFactory

Not<K> - Class in com.bpodgursky.jbool_expressions

NOT - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

NOT - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

notexpression() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

notexpression_return() - Constructor for class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser.notexpression_return

O

of(boolean) - Static method in class com.bpodgursky.jbool_expressions.Literal

of(Expression<K>) - Static method in class com.bpodgursky.jbool_expressions.And

of(Expression<K>) - Static method in class com.bpodgursky.jbool_expressions.Not

of(Expression<K>) - Static method in class com.bpodgursky.jbool_expressions.Or

of(Expression<K>...) - Static method in class com.bpodgursky.jbool_expressions.And

of(Expression<K>...) - Static method in class com.bpodgursky.jbool_expressions.Or

of(Expression<K>[], Comparator<Expression>) - Static method in class com.bpodgursky.jbool_expressions.And

of(Expression<K>[], Comparator<Expression>) - Static method in class com.bpodgursky.jbool_expressions.Or

of(Expression<K>, Expression<K>) - Static method in class com.bpodgursky.jbool_expressions.And

of(Expression<K>, Expression<K>) - Static method in class com.bpodgursky.jbool_expressions.Or

of(Expression<K>, Expression<K>, Expression<K>) - Static method in class com.bpodgursky.jbool_expressions.And

of(Expression<K>, Expression<K>, Expression<K>) - Static method in class com.bpodgursky.jbool_expressions.Or

of(Expression<K>, Expression<K>, Expression<K>, Expression<K>) - Static method in class com.bpodgursky.jbool_expressions.Or

of(List<? extends Expression<K>>) - Static method in class com.bpodgursky.jbool_expressions.And

of(List<? extends Expression<K>>) - Static method in class com.bpodgursky.jbool_expressions.Or

of(K) - Static method in class com.bpodgursky.jbool_expressions.Variable

onlyCaching() - Static method in class com.bpodgursky.jbool_expressions.options.ExprOptions

Cache all rule results, don't intern anything

or(Expression<K>[]) - Method in class com.bpodgursky.jbool_expressions.util.ExprFactory.Default

or(Expression<K>[]) - Method in class com.bpodgursky.jbool_expressions.util.ExprFactory.Interning

or(Expression<K>[]) - Method in interface com.bpodgursky.jbool_expressions.util.ExprFactory

Or<K> - Class in com.bpodgursky.jbool_expressions

OR - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

OR - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

OR_SEED - Static variable in class com.bpodgursky.jbool_expressions.Seeds

orexpression() - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

orexpression_return() - Constructor for class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser.orexpression_return

P

parse(String) - Static method in class com.bpodgursky.jbool_expressions.parsers.ExprParser

parse(String, TokenMapper<T>) - Static method in class com.bpodgursky.jbool_expressions.parsers.ExprParser

parse(Tree, TokenMapper<T>) - Static method in class com.bpodgursky.jbool_expressions.parsers.ExprParser

put(RuleList<K>, Expression<K>, Expression<K>, ExprOptions<K>) - Method in class com.bpodgursky.jbool_expressions.cache.RuleSetCache.NoCache

put(RuleList<K>, Expression<K>, Expression<K>, ExprOptions<K>) - Method in interface com.bpodgursky.jbool_expressions.cache.RuleSetCache

put(RuleList<K>, Expression<K>, Expression<K>, ExprOptions<K>) - Method in class com.bpodgursky.jbool_expressions.cache.UnboundedRuleSetCache

put(Class<? extends Rule>, Expression<K>, Expression<K>, ExprOptions<K>) - Method in class com.bpodgursky.jbool_expressions.cache.RuleCache.NoCache

put(Class<? extends Rule>, Expression<K>, Expression<K>, ExprOptions<K>) - Method in interface com.bpodgursky.jbool_expressions.cache.RuleCache

put(Class<? extends Rule>, Expression<K>, Expression<K>, ExprOptions<K>) - Method in class com.bpodgursky.jbool_expressions.cache.UnboundedRuleCache

Q

QMC<K> - Class in com.bpodgursky.jbool_expressions.rules

QMC() - Constructor for class com.bpodgursky.jbool_expressions.rules.QMC

QuineMcCluskey - Class in com.bpodgursky.jbool_expressions.rules

QuineMcCluskey() - Constructor for class com.bpodgursky.jbool_expressions.rules.QuineMcCluskey

QuineMcCluskey.EPICalculation - Class in com.bpodgursky.jbool_expressions.rules

QuineMcCluskey.Implicant - Class in com.bpodgursky.jbool_expressions.rules

QUOTED_NAME - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

QUOTED_NAME - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

QuotedMapper<T> - Class in com.bpodgursky.jbool_expressions.parsers

QuotedMapper() - Constructor for class com.bpodgursky.jbool_expressions.parsers.QuotedMapper

R

replaceVars(Map<K, Expression<K>>, ExprFactory<K>) - Method in class com.bpodgursky.jbool_expressions.And

replaceVars(Map<K, Expression<K>>, ExprFactory<K>) - Method in class com.bpodgursky.jbool_expressions.Expression

replaceVars(Map<K, Expression<K>>, ExprFactory<K>) - Method in class com.bpodgursky.jbool_expressions.Literal

replaceVars(Map<K, Expression<K>>, ExprFactory<K>) - Method in class com.bpodgursky.jbool_expressions.Not

replaceVars(Map<K, Expression<K>>, ExprFactory<K>) - Method in class com.bpodgursky.jbool_expressions.Or

replaceVars(Map<K, Expression<K>>, ExprFactory<K>) - Method in class com.bpodgursky.jbool_expressions.Variable

RPAREN - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

RPAREN - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

Rule<E extends Expression<K>,K> - Class in com.bpodgursky.jbool_expressions.rules

Rule() - Constructor for class com.bpodgursky.jbool_expressions.rules.Rule

RuleCache<K> - Interface in com.bpodgursky.jbool_expressions.cache

RuleCache.NoCache<K> - Class in com.bpodgursky.jbool_expressions.cache

RuleList<K> - Class in com.bpodgursky.jbool_expressions.rules

RuleList(List<Rule<?, K>>) - Constructor for class com.bpodgursky.jbool_expressions.rules.RuleList

RuleSet - Class in com.bpodgursky.jbool_expressions.rules

RuleSet() - Constructor for class com.bpodgursky.jbool_expressions.rules.RuleSet

RuleSetCache<K> - Interface in com.bpodgursky.jbool_expressions.cache

RuleSetCache.NoCache<K> - Class in com.bpodgursky.jbool_expressions.cache

RulesHelper - Class in com.bpodgursky.jbool_expressions.rules

RulesHelper() - Constructor for class com.bpodgursky.jbool_expressions.rules.RulesHelper

S

Seeds - Class in com.bpodgursky.jbool_expressions

Seeds() - Constructor for class com.bpodgursky.jbool_expressions.Seeds

setTreeAdaptor(TreeAdaptor) - Method in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

simplify(Expression<K>) - Static method in class com.bpodgursky.jbool_expressions.rules.RuleSet

simplify(Expression<K>, ExprOptions<K>) - Static method in class com.bpodgursky.jbool_expressions.rules.RuleSet

SimplifyAnd<K> - Class in com.bpodgursky.jbool_expressions.rules

SimplifyAnd() - Constructor for class com.bpodgursky.jbool_expressions.rules.SimplifyAnd

SimplifyNExprChildren<K> - Class in com.bpodgursky.jbool_expressions.rules

SimplifyNExprChildren() - Constructor for class com.bpodgursky.jbool_expressions.rules.SimplifyNExprChildren

SimplifyNExpression<K> - Class in com.bpodgursky.jbool_expressions.rules

SimplifyNExpression() - Constructor for class com.bpodgursky.jbool_expressions.rules.SimplifyNExpression

SimplifyNot<K> - Class in com.bpodgursky.jbool_expressions.rules

SimplifyNot() - Constructor for class com.bpodgursky.jbool_expressions.rules.SimplifyNot

SimplifyOr<K> - Class in com.bpodgursky.jbool_expressions.rules

SimplifyOr() - Constructor for class com.bpodgursky.jbool_expressions.rules.SimplifyOr

simplifyRules() - Static method in class com.bpodgursky.jbool_expressions.rules.RulesHelper

sort(Comparator<Expression>) - Method in class com.bpodgursky.jbool_expressions.And

sort(Comparator<Expression>) - Method in class com.bpodgursky.jbool_expressions.Expression

sort(Comparator<Expression>) - Method in class com.bpodgursky.jbool_expressions.Literal

sort(Comparator<Expression>) - Method in class com.bpodgursky.jbool_expressions.Not

sort(Comparator<Expression>) - Method in class com.bpodgursky.jbool_expressions.Or

sort(Comparator<Expression>) - Method in class com.bpodgursky.jbool_expressions.Variable

stripNegation(And<K>, Or<K>, Expression<K>, ExprOptions<K>) - Static method in class com.bpodgursky.jbool_expressions.ExprUtil

stripNegation(Or<K>, And<K>, Expression<K>, ExprOptions<K>) - Static method in class com.bpodgursky.jbool_expressions.ExprUtil

T

toCNF(Expression<K>) - Static method in class com.bpodgursky.jbool_expressions.rules.RuleSet

toCNF(Expression<K>, ExprOptions<K>) - Static method in class com.bpodgursky.jbool_expressions.rules.RuleSet

More formal name for product-of-sums

toDNF(Expression<K>) - Static method in class com.bpodgursky.jbool_expressions.rules.RuleSet

toDNF(Expression<K>, ExprOptions<K>) - Static method in class com.bpodgursky.jbool_expressions.rules.QuineMcCluskey

toDNF(Expression<K>, ExprOptions<K>) - Static method in class com.bpodgursky.jbool_expressions.rules.RuleSet

More formal name for sum-of-products

toDNFViaQMC(Expression<K>, ExprOptions<K>) - Static method in class com.bpodgursky.jbool_expressions.rules.RuleSet

This method transforms an expression to DNF, but at a variable cardinality less than 9, switches to the QuineMcCluskey algorithm.

TokenMapper<T> - Interface in com.bpodgursky.jbool_expressions.parsers

tokenNames - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

toLexicographicString() - Method in class com.bpodgursky.jbool_expressions.Expression

toPos(Expression<K>) - Static method in class com.bpodgursky.jbool_expressions.rules.RuleSet

toPos(Expression<K>, ExprOptions<K>) - Static method in class com.bpodgursky.jbool_expressions.rules.RuleSet

toSop(Expression<K>) - Static method in class com.bpodgursky.jbool_expressions.rules.RuleSet

toSop(Expression<K>, ExprOptions<K>) - Static method in class com.bpodgursky.jbool_expressions.rules.RuleSet

ToSOP<K> - Class in com.bpodgursky.jbool_expressions.rules

ToSOP() - Constructor for class com.bpodgursky.jbool_expressions.rules.ToSOP

toSopRules() - Static method in class com.bpodgursky.jbool_expressions.rules.RulesHelper

toString() - Method in class com.bpodgursky.jbool_expressions.And

toString() - Method in class com.bpodgursky.jbool_expressions.Literal

toString() - Method in class com.bpodgursky.jbool_expressions.Not

toString() - Method in class com.bpodgursky.jbool_expressions.Or

toString() - Method in class com.bpodgursky.jbool_expressions.rules.QuineMcCluskey.Implicant

toString() - Method in class com.bpodgursky.jbool_expressions.Variable

TRUE - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

TRUE - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

U

UnboundedRuleCache<K> - Class in com.bpodgursky.jbool_expressions.cache

UnboundedRuleCache(Function<Expression<K>, Expression<K>>) - Constructor for class com.bpodgursky.jbool_expressions.cache.UnboundedRuleCache

UnboundedRuleSetCache<K> - Class in com.bpodgursky.jbool_expressions.cache

UnboundedRuleSetCache(InternFunction<K>) - Constructor for class com.bpodgursky.jbool_expressions.cache.UnboundedRuleSetCache

V

Variable<K> - Class in com.bpodgursky.jbool_expressions

W

WS - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprLexer

WS - Static variable in class com.bpodgursky.jbool_expressions.parsers.BooleanExprParser

A B C D E F G H I L M N O P Q R S T U V W