| Package | Description |
|---|---|
| edu.washington.cs.knowitall.logic |
| Modifier and Type | Class and Description |
|---|---|
static class |
Expression.Apply<E>
An expression that can be applied.
|
static class |
Expression.Arg<E>
An expression that evaluates to true or false.
|
static class |
Expression.Arg.Pred<E>
An expression that evaluates to true or false by applying a
predicate to the supplied entity.
|
static class |
Expression.Arg.Value<E>
An expression that is a constant value--either true or false.
|
static class |
Expression.Op<E>
An operator expression.
|
static class |
Expression.Op.Bin<E>
An operator that takes two arguments, such as disjunction.
|
static class |
Expression.Op.Bin.And<E>
The conjunction (logical and) operator.
|
static class |
Expression.Op.Bin.Or<E>
The disjunction (logical or) operator.
|
static class |
Expression.Op.Mon<E>
An operator that takes a single argument, such as negation.
|
static class |
Expression.Op.Mon.Not<E>
The negation operator.
|
static class |
Expression.Paren<E>
A parenthesis, used for grouping.
|
static class |
Expression.Paren.L<E>
A left parenthesis.
|
static class |
Expression.Paren.R<E>
A right parenthesis.
|
| Modifier and Type | Method and Description |
|---|---|
List<Expression<E>> |
LogicExpression.rpn(List<Expression<E>> tokens)
Converts an infix logic representation into a postfix logic representation.
|
List<Expression<E>> |
LogicExpressionParser.tokenize(String input)
Convert an infix string logic representation to an infix list of tokens.
|
| Modifier and Type | Method and Description |
|---|---|
static <E> Expression.Apply<E> |
LogicExpression.buildAst(List<Expression<E>> rpn)
Compile a rpn list of tokens into an expression tree.
|
static <E> LogicExpression<E> |
LogicExpression.compile(List<Expression<E>> expressions)
Compile an infix list of tokens into an expression tree.
|
List<Expression<E>> |
LogicExpression.rpn(List<Expression<E>> tokens)
Converts an infix logic representation into a postfix logic representation.
|
| Constructor and Description |
|---|
LogicExpression(List<Expression<E>> expressions) |
Copyright © 2010–2013 University of Washington CSE. All rights reserved.