public class RHS
extends java.lang.Object
Constructor and Description |
---|
RHS() |
Modifier and Type | Method and Description |
---|---|
RHS |
applyBindings(java.util.HashMap<java.lang.String,java.lang.String> bindings)
Apply variable substitutions to this set of clauses
TODO: note that a replace for ?A will erroneously match ?AB
|
RHS |
deepCopy() |
static void |
main(java.lang.String[] args)
A test method
|
static RHS |
parse(Lexer lex,
int startLine)
The predicate must already have been read
|
java.lang.String |
toString() |
public java.lang.String toString()
toString
in class java.lang.Object
public RHS deepCopy()
public RHS applyBindings(java.util.HashMap<java.lang.String,java.lang.String> bindings)
public static void main(java.lang.String[] args)