Uses of Class
org.semanticweb.HermiT.model.DLClause.ClauseType

Packages that use DLClause.ClauseType
org.semanticweb.HermiT.model   
 

Uses of DLClause.ClauseType in org.semanticweb.HermiT.model
 

Fields in org.semanticweb.HermiT.model declared as DLClause.ClauseType
protected  DLClause.ClauseType DLClause.m_clauseType
           
 

Methods in org.semanticweb.HermiT.model that return DLClause.ClauseType
 DLClause.ClauseType DLClause.getClauseType()
           
static DLClause.ClauseType DLClause.ClauseType.valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static DLClause.ClauseType[] DLClause.ClauseType.values()
          Returns an array containing the constants of this enum type, in the order they are declared.
 

Methods in org.semanticweb.HermiT.model with parameters of type DLClause.ClauseType
static DLClause DLClause.create(Atom[] headAtoms, Atom[] bodyAtoms, DLClause.ClauseType clauseType)
           
static DLClause DLClause.createEx(boolean isKnownToBeAdmissible, Atom[] headAtoms, Atom[] bodyAtoms, DLClause.ClauseType clauseType)
           
 

Constructors in org.semanticweb.HermiT.model with parameters of type DLClause.ClauseType
DLClause(boolean isKnownToBeAdmissible, Atom[] headAtoms, Atom[] bodyAtoms, DLClause.ClauseType clauseType)