Uses of Package
conformance

Packages that use conformance

Package	Description
uk.ac.manchester.cs.jfact
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.options
uk.ac.manchester.cs.jfact.kernel.state
uk.ac.manchester.cs.jfact.kernel.todolist
uk.ac.manchester.cs.jfact.visitors

Classes in conformance used by uk.ac.manchester.cs.jfact

Class and Description
PortedFrom Mark a field, method, method argument or type with the original file and original name in FaCT++.

Classes in conformance used by uk.ac.manchester.cs.jfact.datatypes

Class and Description
Original Mark a field, method, method argument or type as original - not ported from FaCT++, or with no simple correspondence.
PortedFrom Mark a field, method, method argument or type with the original file and original name in FaCT++.

Classes in conformance used by uk.ac.manchester.cs.jfact.dep

Class and Description
Original Mark a field, method, method argument or type as original - not ported from FaCT++, or with no simple correspondence.
PortedFrom Mark a field, method, method argument or type with the original file and original name in FaCT++.

Classes in conformance used by uk.ac.manchester.cs.jfact.helpers

Class and Description
Original Mark a field, method, method argument or type as original - not ported from FaCT++, or with no simple correspondence.
PortedFrom Mark a field, method, method argument or type with the original file and original name in FaCT++.

Classes in conformance used by uk.ac.manchester.cs.jfact.kernel

Class and Description
Original Mark a field, method, method argument or type as original - not ported from FaCT++, or with no simple correspondence.
PortedFrom Mark a field, method, method argument or type with the original file and original name in FaCT++.

Classes in conformance used by uk.ac.manchester.cs.jfact.kernel.actors

Class and Description
Original Mark a field, method, method argument or type as original - not ported from FaCT++, or with no simple correspondence.
PortedFrom Mark a field, method, method argument or type with the original file and original name in FaCT++.

Classes in conformance used by uk.ac.manchester.cs.jfact.kernel.dl

Class and Description
Original Mark a field, method, method argument or type as original - not ported from FaCT++, or with no simple correspondence.
PortedFrom Mark a field, method, method argument or type with the original file and original name in FaCT++.

Classes in conformance used by uk.ac.manchester.cs.jfact.kernel.dl.axioms

Class and Description
Original Mark a field, method, method argument or type as original - not ported from FaCT++, or with no simple correspondence.
PortedFrom Mark a field, method, method argument or type with the original file and original name in FaCT++.

Classes in conformance used by uk.ac.manchester.cs.jfact.kernel.dl.interfaces

Class and Description
PortedFrom Mark a field, method, method argument or type with the original file and original name in FaCT++.

Classes in conformance used by uk.ac.manchester.cs.jfact.kernel.modelcaches

Class and Description
Original Mark a field, method, method argument or type as original - not ported from FaCT++, or with no simple correspondence.
PortedFrom Mark a field, method, method argument or type with the original file and original name in FaCT++.

Classes in conformance used by uk.ac.manchester.cs.jfact.kernel.options

Class and Description
PortedFrom Mark a field, method, method argument or type with the original file and original name in FaCT++.

Classes in conformance used by uk.ac.manchester.cs.jfact.kernel.state

Class and Description
PortedFrom Mark a field, method, method argument or type with the original file and original name in FaCT++.

Classes in conformance used by uk.ac.manchester.cs.jfact.kernel.todolist

Class and Description
Original Mark a field, method, method argument or type as original - not ported from FaCT++, or with no simple correspondence.
PortedFrom Mark a field, method, method argument or type with the original file and original name in FaCT++.

Classes in conformance used by uk.ac.manchester.cs.jfact.visitors

Class and Description
PortedFrom Mark a field, method, method argument or type with the original file and original name in FaCT++.