uk.ac.manchester.cs.jfact.kernel

Class LogicFeatures

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.LogicFeatures

All Implemented Interfaces:

Serializable

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

logic features

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
LogicFeatures() default c'tor
LogicFeatures(LogicFeatures lf) copy c'tor

Method Summary

Modifier and Type	Method and Description
void	fillConceptData(Concept p)
void	fillDAGData(DLVertex v, boolean pos)
void	fillRoleData(Role p, boolean both)
boolean	hasFunctionalRestriction()
boolean	hasInverseRole()
boolean	hasNumberRestriction()
boolean	hasQNumberRestriction()
boolean	hasSelfRef()
boolean	hasSingletons()
boolean	hasSomeAll()
boolean	hasTopRole()
boolean	isEmpty()
void	mergeRoles() build bothRoles from single Roles flags
void	or(LogicFeatures lf) operator add
static LogicFeatures	plus(LogicFeatures f1, LogicFeatures f2)
void	setInverseRoles() allow user to set presence of inverse roles
void	writeState(LogAdapter l)

Methods inherited from class java.lang.Object

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

Constructor Detail

LogicFeatures

public LogicFeatures()

default c'tor

LogicFeatures

public LogicFeatures(LogicFeatures lf)

copy c'tor

Parameters:

lf - lf

Method Detail

or

@PortedFrom(file="LogicFeature.h",
            name="or")
public void or(LogicFeatures lf)

operator add

Parameters:

lf - lf

hasInverseRole

@PortedFrom(file="LogicFeature.h",
            name="hasInverseRole")
public boolean hasInverseRole()

Returns:

true if there are inverse roles

hasSomeAll

@PortedFrom(file="LogicFeature.h",
            name="hasSomeAll")
public boolean hasSomeAll()

Returns:

true if some or all restrictions are present

hasFunctionalRestriction

@PortedFrom(file="LogicFeature.h",
            name="hasFunctionalRestriction")
public boolean hasFunctionalRestriction()

Returns:

true if there are functional restrictions

hasNumberRestriction

@PortedFrom(file="LogicFeature.h",
            name="hasNumberRestriction")
public boolean hasNumberRestriction()

Returns:

true if there are number restrictions

hasQNumberRestriction

@PortedFrom(file="LogicFeature.h",
            name="hasQNumberRestriction")
public boolean hasQNumberRestriction()

Returns:

true if there are qualified number restrictions

hasSingletons

@PortedFrom(file="LogicFeature.h",
            name="hasSingletons")
public boolean hasSingletons()

Returns:

true if there are singletons

hasSelfRef

@PortedFrom(file="LogicFeature.h",
            name="hasSelfRef")
public boolean hasSelfRef()

Returns:

true if there are self references

hasTopRole

@PortedFrom(file="LogicFeature.h",
            name="hasTopRole")
public boolean hasTopRole()

Returns:

true if there is a top role

isEmpty

@PortedFrom(file="LogicFeature.h",
            name="empty")
public boolean isEmpty()

Returns:

whether no flags are set

mergeRoles

@PortedFrom(file="LogicFeature.h",
            name="mergeRoles")
public void mergeRoles()

build bothRoles from single Roles flags

setInverseRoles

@PortedFrom(file="LogicFeature.h",
            name="setInverseRoles")
public void setInverseRoles()

allow user to set presence of inverse roles

plus

@PortedFrom(file="LogicFeature.h",
            name="+")
public static LogicFeatures plus(LogicFeatures f1,
                                                                                          LogicFeatures f2)

Parameters:

f1 - f1

f2 - f2

Returns:

combination of the two objects

fillConceptData

@PortedFrom(file="LogicFeature.h",
            name="fillConceptData")
public void fillConceptData(Concept p)

Parameters:

p - p

fillRoleData

@PortedFrom(file="LogicFeature.h",
            name="fillRoleData")
public void fillRoleData(Role p,
                                                                                             boolean both)

Parameters:

p - p

both - both

fillDAGData

@PortedFrom(file="LogicFeature.h",
            name="fillDAGData")
public void fillDAGData(DLVertex v,
                                                                                           boolean pos)

Parameters:

v - v

pos - pos

writeState

@PortedFrom(file="LogicFeature.h",
            name="writeState")
public void writeState(LogAdapter l)

Parameters:

l - l