Package | Description |
---|---|
com.articulate.sigma.semRewrite |
Modifier and Type | Field and Description |
---|---|
LHS |
Rule.lhs |
LHS |
LHS.lhs1 |
LHS |
LHS.lhs2 |
Modifier and Type | Method and Description |
---|---|
LHS |
LHS.deepCopy() |
static LHS |
LHS.parse(Lexer lex,
int startLine) |
Modifier and Type | Method and Description |
---|---|
static CNF |
Clausifier.clausify(LHS lhs) |