public class RuleNode extends Node
Title: Rule Node
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
| Modifier and Type | Field and Description |
|---|---|
BetaNode |
betaNode |
Set<aterm.ATermAppl> |
explain |
List<TermTuple> |
lhs |
List<TermTuple> |
rhs |
| Constructor and Description |
|---|
RuleNode(Rule rule,
Set<aterm.ATermAppl> explain) |
Copyright © 2013. All Rights Reserved.