|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |