uk.ac.manchester.cs.jfact.kernel

Class KBFlags

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.KBFlags

All Implemented Interfaces:

Serializable

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

flags

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
KBFlags()

Method Summary

Modifier and Type	Method and Description
boolean	isGCI()
boolean	isReflexive()
boolean	isRnD()
void	setGCI(boolean action)
void	setReflexive(boolean action)
void	setRnD(boolean b)

Methods inherited from class java.lang.Object

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

Constructor Detail

KBFlags

public KBFlags()

Method Detail

isGCI

@Original
public boolean isGCI()

Returns:

GCIs

setGCI

@Original
public void setGCI(boolean action)

Parameters:

action - action

isRnD

@Original
public boolean isRnD()

Returns:

Range and Domain axioms

setRnD

@Original
public void setRnD(boolean b)

Parameters:

b - rnd value

isReflexive

@Original
public boolean isReflexive()

Returns:

Reflexive roles

setReflexive

@Original
public void setReflexive(boolean action)

Parameters:

action - action