public class Clausifier
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static boolean |
changed |
Constructor and Description |
---|
Clausifier() |
Modifier and Type | Method and Description |
---|---|
static CNF |
clausify(LHS lhs) |
static RuleSet |
clausify(RuleSet rs) |
static void |
main(java.lang.String[] args) |
public static CNF clausify(LHS lhs)
public static RuleSet clausify(RuleSet rs)
public static void main(java.lang.String[] args)