Package com.articulate.sigma

Class Prenexifier

java.lang.Object

com.articulate.sigma.Prenexifier

public class Prenexifier
extends Object

This code is copyright Articulate Software (c) 2003. This software is released under the GNU Public License invalid input: '<'http://www.gnu.org/copyleft/gpl.html>. Users of this code are also requested, to credit Articulate Software in any writings, briefings, publications, presentations, or other representations of any software which incorporates, builds on, or uses this code. Please cite the following article in any publication with references: Pease, A., (2003). The Sigma Ontology Development Environment, in Working Notes of the IJCAI-2003 Workshop on Ontology and Distributed Systems, August 9, Acapulco, Mexico. See also http://sigmakee.sourceforge.net

Constructor Summary

Constructors

Constructor	Description
Prenexifier()

Method Summary

Modifier and Type	Method	Description
Formula	binarizeConnectives(Formula f)
static void	main(String[] args)
Formula	prenex(Formula f)
static void	testBinarize()

Methods inherited from class java.lang.Object

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

Constructor Details

Prenexifier

public Prenexifier()

Method Details

binarizeConnectives

public Formula binarizeConnectives(Formula f)

prenex

public Formula prenex(Formula f)

testBinarize

public static void testBinarize()

main

public static void main(String[] args)