Protégé-OWL 3.4.1

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

java.lang.Object
  extended by 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


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
 

Method Detail

getInstance

public static DIGTranslatorPreferences getInstance()

isIgnoreNecessaryConditionsOnDefinedClasses

public boolean isIgnoreNecessaryConditionsOnDefinedClasses()

setIgnoreNecessaryConditionsOnDefinedClasses

public void setIgnoreNecessaryConditionsOnDefinedClasses(boolean b)

Protégé-OWL 3.4.1

Submit a bug report or feature request
Copyright (c) 1998-2009 Stanford University.