public interface ExtensionEntry
Modifier and Type | Method and Description |
---|---|
de.tudresden.inf.lat.jcel.core.algorithm.cel.ExistentialEntry |
asExistential()
Returns this entry as an existential entry.
|
de.tudresden.inf.lat.jcel.core.algorithm.cel.ImplicationEntry |
asImplication()
Returns this entry as an implication entry.
|
boolean |
isExistential()
Tell whether or not this is an existential entry.
|
boolean |
isImplication()
Tell whether or not this is an implication entry.
|
de.tudresden.inf.lat.jcel.core.algorithm.cel.ExistentialEntry asExistential()
this
if this is an existential entry, or
null
if notde.tudresden.inf.lat.jcel.core.algorithm.cel.ImplicationEntry asImplication()
this
if this is an implication entry, or
null
if notboolean isExistential()
true
if and only if this is an existential entryboolean isImplication()
true
if and only if this is an implication entryCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.