uk.ac.manchester.cs.jfact.kernel.dl.axioms

Class AxiomORoleFunctional

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSingleORole

uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleFunctional

All Implemented Interfaces:

Serializable, AxiomInterface

@PortedFrom(file="tDLAxiom.h",
            name="TDLAxiomORoleFunctional")
public class AxiomORoleFunctional
extends AxiomSingleORole

functional object role

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
AxiomORoleFunctional(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression role)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(DLAxiomVisitor visitor) accept method for the visitor pattern
<O> O	accept(DLAxiomVisitorEx<O> visitor)
TOntologyAtom	getAtom()
int	getId()
org.semanticweb.owlapi.model.OWLAxiom	getOWLAxiom()
TSignature	getSignature()
boolean	isInModule()
boolean	isInSS()
boolean	isUsed()
void	setAtom(TOntologyAtom atom)
void	setId(int Id)
void	setInModule(boolean inModule)
void	setInSS(boolean flag) set the isSearchSpace flag
void	setUsed(boolean Used)
String	toString()

Methods inherited from class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSingleORole

getRole

Methods inherited from class java.lang.Object

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

Constructor Detail

AxiomORoleFunctional

public AxiomORoleFunctional(org.semanticweb.owlapi.model.OWLAxiom ax,
                    ObjectRoleExpression role)

Parameters:

ax - ax

role - role

Method Detail

accept

@PortedFrom(file="tDLAxiom.h",
            name="accept")
public void accept(DLAxiomVisitor visitor)

Description copied from interface: AxiomInterface

accept method for the visitor pattern

Parameters:

visitor - visitor

accept

@PortedFrom(file="tDLAxiom.h",
            name="accept")
public <O> O accept(DLAxiomVisitorEx<O> visitor)

Type Parameters:

O - visitor return type

Parameters:

visitor - visitor

Returns:

visitor result

getAtom

@PortedFrom(file="tDLAxiom.h",
            name="getAtom")
public TOntologyAtom getAtom()

Specified by:

getAtom in interface AxiomInterface

Returns:

atom for axiom

setAtom

@PortedFrom(file="tDLAxiom.h",
            name="setAtom")
public void setAtom(TOntologyAtom atom)

Specified by:

setAtom in interface AxiomInterface

Parameters:

atom - atom

setInSS

@PortedFrom(file="tDLAxiom.h",
            name="setInSS")
public void setInSS(boolean flag)

set the isSearchSpace flag

Specified by:

setInSS in interface AxiomInterface

Parameters:

flag - flag

isInSS

@PortedFrom(file="tDLAxiom.h",
            name="isInSS")
public boolean isInSS()

Specified by:

isInSS in interface AxiomInterface

Returns:

the value of the isSearchSpace flag

getSignature

@PortedFrom(file="tDLAxiom.h",
            name="getSignature")
public TSignature getSignature()

Specified by:

getSignature in interface AxiomInterface

Returns:

signature

getOWLAxiom

public org.semanticweb.owlapi.model.OWLAxiom getOWLAxiom()

Specified by:

getOWLAxiom in interface AxiomInterface

Returns:

original owl axiom

getId

@PortedFrom(file="tDLAxiom.h",
            name="getId")
public int getId()

Specified by:

getId in interface AxiomInterface

Returns:

the id

isInModule

public boolean isInModule()

Specified by:

isInModule in interface AxiomInterface

Returns:

true if in module

isUsed

public boolean isUsed()

Specified by:

isUsed in interface AxiomInterface

Returns:

the value of the used flag

setId

@PortedFrom(file="tDLAxiom.h",
            name="setId")
public void setId(int Id)

Specified by:

setId in interface AxiomInterface

Parameters:

Id - Id

setInModule

@PortedFrom(file="tDLAxiom.h",
            name="setInModule")
public void setInModule(boolean inModule)

Specified by:

setInModule in interface AxiomInterface

Parameters:

inModule - inModule

setUsed

@PortedFrom(file="tDLAxiom.h",
            name="setUsed")
public void setUsed(boolean Used)

Specified by:

setUsed in interface AxiomInterface

Parameters:

Used - Used

toString

public String toString()

Overrides:

toString in class Object