edu.stanford.smi.protegex.owl.inference.dig.translator
Class DIGTranslatorPreferences

java.lang.Object
  edu.stanford.smi.protegex.owl.inference.dig.translator.DIGTranslatorPreferences

public class DIGTranslatorPreferences

extends Object

User: matthewhorridge
The University Of Manchester
Medical Informatics Group
Date: Oct 24, 2005

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

Field Summary

private boolean	ignoreNecessaryConditionsOnDefinedClasses
private static DIGTranslatorPreferences	instance

Constructor Summary

private

DIGTranslatorPreferences()

Method Summary

static DIGTranslatorPreferences	getInstance()
boolean	isIgnoreNecessaryConditionsOnDefinedClasses()
void	setIgnoreNecessaryConditionsOnDefinedClasses(boolean b)

Methods inherited from class java.lang.Object

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

Field Detail

instance

private static DIGTranslatorPreferences instance

ignoreNecessaryConditionsOnDefinedClasses

private boolean ignoreNecessaryConditionsOnDefinedClasses

Constructor Detail

DIGTranslatorPreferences

private DIGTranslatorPreferences()

Method Detail

getInstance

public static DIGTranslatorPreferences getInstance()

isIgnoreNecessaryConditionsOnDefinedClasses

public boolean isIgnoreNecessaryConditionsOnDefinedClasses()

setIgnoreNecessaryConditionsOnDefinedClasses

public void setIgnoreNecessaryConditionsOnDefinedClasses(boolean b)