Uses of Class
conformance.Original

Packages that use Original

Package	Description
uk.ac.manchester.cs.jfact.datatypes
uk.ac.manchester.cs.jfact.dep
uk.ac.manchester.cs.jfact.helpers
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.kernel.actors
uk.ac.manchester.cs.jfact.kernel.dl
uk.ac.manchester.cs.jfact.kernel.dl.axioms
uk.ac.manchester.cs.jfact.kernel.dl.interfaces
uk.ac.manchester.cs.jfact.kernel.modelcaches
uk.ac.manchester.cs.jfact.kernel.todolist
uk.ac.manchester.cs.jfact.split

Uses of Original in uk.ac.manchester.cs.jfact.datatypes

Classes in uk.ac.manchester.cs.jfact.datatypes with annotations of type Original

Modifier and Type	Interface and Description
interface	Datatype<R extends Comparable<R>>
interface	DatatypeExpression<R extends Comparable<R>> Represents an extended datatype - intersection, union or further restrictions.
class	DatatypeFactory Factory for datatypes

Uses of Original in uk.ac.manchester.cs.jfact.dep

Methods in uk.ac.manchester.cs.jfact.dep with annotations of type Original

Modifier and Type	Method and Description
org.roaringbitmap.RoaringBitmap	DepSet.getDelegate() to be used to get the FastSet and store it in CWDArray save/restore

Uses of Original in uk.ac.manchester.cs.jfact.helpers

Classes in uk.ac.manchester.cs.jfact.helpers with annotations of type Original

Modifier and Type	Interface and Description
interface	FastSet int set

Methods in uk.ac.manchester.cs.jfact.helpers with annotations of type Original

Modifier and Type	Method and Description
void	SaveStack.clear() clear the stack
int	DLVertex.getAndToDagValue()

Uses of Original in uk.ac.manchester.cs.jfact.kernel

Classes in uk.ac.manchester.cs.jfact.kernel with annotations of type Original

Modifier and Type	Interface and Description
interface	HasName interface for named things

Fields in uk.ac.manchester.cs.jfact.kernel with annotations of type Original

Modifier and Type	Field and Description
static int	RoleAutomaton.initial get the initial state

Methods in uk.ac.manchester.cs.jfact.kernel with annotations of type Original

Modifier and Type	Method and Description
void	CGLabel.add(DagTag tag, ConceptWDep p) index p by tag, clear caches
int	TBox.addDatatypeExpressionToHeap(Datatype<?> p)
void	Concept.addLeaves(Collection<DLTree> Desc)
ArrayIntMap	CGLabel.get_cc_concepts()
List<ConceptWDep>	CGLabel.get_cc()
ArrayIntMap	CGLabel.get_sc_concepts()
List<ConceptWDep>	CGLabel.get_sc()
Individual	Related.getA()
TOntologyAtom	Axiom.getAtom()
Individual	Related.getB()
static Concept	Concept.getBOTTOM()
Concept.CTTag	Concept.getClassTagPlain()
ConceptWDep	CWDArray.getConceptWithBP(int bp)
ArrayIntMap	CWDArray.getContainedConcepts()
RoleExpression	TDag2Interface.getDataRoleExpression(Role r)
static String	ExpressionManager.getDataTop()
DLTree	Concept.getDescription()
List<List<Individual>>	TBox.getDifferent()
DLDag	TBox.getDLHeap()
List<Concept>	TBox.getFairness()
KBFlags	TBox.getGCIs()
Role	Role.getInverse()
LogicFeatures	Concept.getNegFeatures()
int	TBox.getNItems()
DlCompletionTree	Individual.getNode()
RoleExpression	TDag2Interface.getObjectRoleExpression(Role r)
JFactReasonerConfiguration	TBox.getOptions()
JFactReasonerConfiguration	DlSatTester.getOptions()
int	Concept.getpBody()
int	Concept.getpName()
LogicFeatures	Concept.getPosFeatures()
List<Related>	TBox.getRelatedI()
List<Related>	Individual.getRelatedIndex()
List<AxiomInterface>	Ontology.getRetracted()
TSignature	TBox.getSignature(ClassifiableEntry c)
List<AxiomInterface>	ReasoningKernel.getTautologies()
static Concept	Concept.getTEMP()
static Concept	Concept.getTOP()
int	Concept.getTsDepth()
void	DlSatTester.initToDoPriorities() init Todo list priority for classification
boolean	NamedEntry.isBottom()
boolean	ClassifiableEntry.isCompletelyDefined()
boolean	Role.isDataRole()
boolean	KBFlags.isGCI()
boolean	Concept.isHasSP()
boolean	Concept.isNominal()
boolean	ClassifiableEntry.isNonClassifiable()
boolean	Concept.isNonPrimitive()
boolean	Concept.isPrimitive()
boolean	KBFlags.isReflexive()
boolean	KBFlags.isRnD()
boolean	Concept.isSingleton()
boolean	NamedEntry.isSystem()
boolean	NamedEntry.isTop()
void	Concept.push(LinkedList<DLTree> stack, DLTree current)
void	Axiom.setAtom(TOntologyAtom atom)
void	NamedEntry.setBottom() set as bottom entity
void	ClassifiableEntry.setCompletelyDefined(boolean action)
void	Role.setDataRole(boolean action)
void	KBFlags.setGCI(boolean action)
void	Concept.setHasSP(boolean action)
void	ReasoningKernel.setInterruptedSwitch(AtomicBoolean b)
void	Individual.setNode(DlCompletionTree node)
void	Concept.setNominal(boolean action)
void	ClassifiableEntry.setNonClassifiable(boolean action)
void	Concept.setpBody(int pBody)
void	Concept.setpName(int pName)
void	Concept.setPrimitive(boolean action)
void	KBFlags.setReflexive(boolean action)
void	KBFlags.setRnD(boolean b)
void	Concept.setSingleton(boolean action)
void	NamedEntry.setSystem() set as system entry
void	TBox.setToDoPriorities() set ToDo priorities using local OPTIONS
void	NamedEntry.setTop() set as top entity

Uses of Original in uk.ac.manchester.cs.jfact.kernel.actors

Classes in uk.ac.manchester.cs.jfact.kernel.actors with annotations of type Original

Modifier and Type	Class and Description
class	ActorImpl

Uses of Original in uk.ac.manchester.cs.jfact.kernel.dl

Classes in uk.ac.manchester.cs.jfact.kernel.dl with annotations of type Original

Modifier and Type	Class and Description
class	AbstractConceptDataCardinality base class for data cardinality

Uses of Original in uk.ac.manchester.cs.jfact.kernel.dl.axioms

Classes in uk.ac.manchester.cs.jfact.kernel.dl.axioms with annotations of type Original

Modifier and Type	Class and Description
class	AbstractNaryAxiom<I extends Expression> n-ary axiom base class

Uses of Original in uk.ac.manchester.cs.jfact.kernel.dl.interfaces

Methods in uk.ac.manchester.cs.jfact.kernel.dl.interfaces with annotations of type Original

Modifier and Type	Method and Description
org.semanticweb.owlapi.model.OWLAxiom	AxiomInterface.getOWLAxiom()

Uses of Original in uk.ac.manchester.cs.jfact.kernel.modelcaches

Methods in uk.ac.manchester.cs.jfact.kernel.modelcaches with annotations of type Original

Modifier and Type	Method and Description
boolean	ModelCacheInterface.isHasNominalNode()
void	ModelCacheInterface.setHasNominalNode(boolean hasNominalNode)

Uses of Original in uk.ac.manchester.cs.jfact.kernel.todolist

Methods in uk.ac.manchester.cs.jfact.kernel.todolist with annotations of type Original

Modifier and Type	Method and Description
void	ToDoList.initPriorities(String Options) init priorities via Options

Uses of Original in uk.ac.manchester.cs.jfact.split

Methods in uk.ac.manchester.cs.jfact.split with annotations of type Original

Modifier and Type	Method and Description
boolean	TSignature.containsNamedEntity(NamedEntity p)
TSignature	SemanticLocalityChecker.getSignature()
TSignature	GeneralSyntacticLocalityChecker.getSignature()
List<AxiomInterface>	AtomicDecomposer.getTautologies()
List<NamedEntity>	TSignature.intersect(TSignature s2)
boolean	SigAccessor.isTopOrBuiltInDataType(Expression expr)
boolean	SemanticLocalityChecker.local(AxiomInterface axiom)
void	GeneralSyntacticLocalityChecker.preprocessOntology(Collection<AxiomInterface> s)
void	SigAccessor.setSignature(TSignature s)
void	SemanticLocalityChecker.setSignatureValue(TSignature Sig) set a new value of a signature (without changing a locality parameters)
void	GeneralSyntacticLocalityChecker.setSignatureValue(TSignature Sig) set a new value of a signature (without changing a locality parameters)