com.articulate.sigma.semRewrite

Class Clausifier

java.lang.Object

com.articulate.sigma.semRewrite.Clausifier

public class Clausifier
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	changed

Constructor Summary

Constructors

Constructor and Description
Clausifier()

Method Summary

Modifier and Type	Method and Description
static CNF	clausify(LHS lhs)
static RuleSet	clausify(RuleSet rs)
static void	main(String[] args)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

changed

public static boolean changed

Constructor Detail

Clausifier

public Clausifier()

Method Detail

clausify

public static CNF clausify(LHS lhs)

Returns:

the CNF equivalent for the given LHS of a rule. This is a very limited case of clausification since we have no quantification. and no implication or equivalence to worry about.

clausify

public static RuleSet clausify(RuleSet rs)

Returns:

a RuleSet that is the result of clausifying the LHS of each rule in the input RuleSet

main

public static void main(String[] args)