|
||||||||||
| 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 | |||||||||