uk.ac.manchester.cs.jfact.datatypes

Class DataTypeReasoner

java.lang.Object

uk.ac.manchester.cs.jfact.datatypes.DataTypeReasoner

@PortedFrom(file="DataReasoning.h",
            name="DataTypeReasoner")
public final class DataTypeReasoner
extends Object

Author:

ignazio Datatype reasoner implementation

Constructor Summary

Constructors

Constructor and Description
DataTypeReasoner(JFactReasonerConfiguration o)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	addDataEntry(boolean positive, DagTag type, NamedEntry entry, DepSet dep)
boolean	checkClash()
DepSet	getClashSet() get clash-set

Methods inherited from class java.lang.Object

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

Constructor Detail

DataTypeReasoner

public DataTypeReasoner(JFactReasonerConfiguration o)

Parameters:

o -

Method Detail

getClashSet

@PortedFrom(file="DataReasoning.h",
            name="getClashSet")
public DepSet getClashSet()

get clash-set

Returns:

clash set

addDataEntry

@PortedFrom(file="DataReasoning.h",
            name="addDataEntry")
public boolean addDataEntry(boolean positive,
                                      DagTag type,
                                      NamedEntry entry,
                                      DepSet dep)

Parameters:

positive -

type -

entry -

dep -

Returns:

false if datatype, true otherwise

checkClash

@PortedFrom(file="DataReasoning.h",
            name="checkClash")
public boolean checkClash()

Returns:

true if clash