| Package | Description |
|---|---|
| edu.washington.cs.knowitall.logic |
| Modifier and Type | Class and Description |
|---|---|
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.
|
| Modifier and Type | Field and Description |
|---|---|
Expression.Apply<E> |
Expression.Op.Bin.left |
Expression.Apply<E> |
Expression.Op.Bin.right |
Expression.Apply<E> |
Expression.Op.Mon.sub |
| 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.
|
Copyright © 2010–2013 University of Washington CSE. All rights reserved.