uk.ac.manchester.cs.jfact.kernel

Class KBFlags

java.lang.Object

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

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

Constructor Summary

Constructors

Constructor and Description
KBFlags()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isGCI() flag for GCIs
boolean	isReflexive() flag for Reflexive roles
boolean	isRnD() flag for Range and Domain axioms
void	setGCI(boolean action)
void	setReflexive(boolean action)
void	setRnD()

Methods inherited from class java.lang.Object

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

Constructor Detail

KBFlags

public KBFlags()

Method Detail

isGCI

@Original
public boolean isGCI()

flag for GCIs

setGCI

@Original
public void setGCI(boolean action)

isRnD

@Original
public boolean isRnD()

flag for Range and Domain axioms

setRnD

@Original
public void setRnD()

isReflexive

@Original
public boolean isReflexive()

flag for Reflexive roles

setReflexive

@Original
public void setReflexive(boolean action)