Package owl.translations.mastertheorem

Class Rewriter

java.lang.Object

owl.translations.mastertheorem.Rewriter

public class Rewriter
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Rewriter.ToCoSafety
static class	Rewriter.ToSafety

Constructor Summary

Constructors

Constructor	Description
Rewriter()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

Rewriter

public Rewriter()