uk.ac.manchester.cs.jfact.split

Class AtomicDecomposer

java.lang.Object

uk.ac.manchester.cs.jfact.split.AtomicDecomposer

All Implemented Interfaces:

Serializable

@PortedFrom(file="AtomicDecomposer.h",
            name="AtomicDecomposer")
public class AtomicDecomposer
extends Object
implements Serializable

atomical decomposer of the ontology

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
AtomicDecomposer(TModularizer c)

Method Summary

Methods

Modifier and Type	Method and Description
AOStructure	getAOS()
AOStructure	getAOS(Ontology O, ModuleType t)
long	getLocChekNumber()
List<AxiomInterface>	getTautologies()
void	setProgressIndicator(uk.ac.manchester.cs.jfact.split.ProgressIndicatorInterface pi)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AtomicDecomposer

public AtomicDecomposer(TModularizer c)

Parameters:

c - modularizer

Method Detail

setProgressIndicator

@PortedFrom(file="AtomicDecomposer.h",
            name="setProgressIndicator")
public void setProgressIndicator(uk.ac.manchester.cs.jfact.split.ProgressIndicatorInterface pi)

Parameters:

pi - progress indicator to use

getTautologies

@Original
public List<AxiomInterface> getTautologies()

Returns:

all tautologies

getAOS

@PortedFrom(file="AtomicDecomposer.h",
            name="getAOS")
public AOStructure getAOS()

Returns:

the atom structure

getAOS

@PortedFrom(file="AtomicDecomposer.h",
            name="getAOS")
public AOStructure getAOS(Ontology O,
                                    ModuleType t)

Parameters:

O - O

t - t

Returns:

the atomic structure for given module type T

getLocChekNumber

@PortedFrom(file="AtomicDecomposer.h",
            name="getLocChekNumber")
public long getLocChekNumber()

Returns:

number of performed locality checks