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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
getInstance
public static DIGTranslatorPreferences getInstance()
isIgnoreNecessaryConditionsOnDefinedClasses
public boolean isIgnoreNecessaryConditionsOnDefinedClasses()
setIgnoreNecessaryConditionsOnDefinedClasses
public void setIgnoreNecessaryConditionsOnDefinedClasses(boolean b)
Submit a bug report or feature request
Copyright (c) 1998-2009 Stanford University.