org.dllearner.utilities

Class CoverageAdapter.CoverageAdapter2

java.lang.Object

org.dllearner.utilities.CoverageAdapter.CoverageAdapter2

Enclosing class:

CoverageAdapter

public static class CoverageAdapter.CoverageAdapter2
extends Object

Constructor Summary

Constructors

Constructor and Description
CoverageAdapter2(ReasoningUtils.Coverage[] cov)

Method Summary

Modifier and Type	Method and Description
SortedSet<org.semanticweb.owlapi.model.OWLIndividual>	fn()
SortedSet<org.semanticweb.owlapi.model.OWLIndividual>	fp()
SortedSet<org.semanticweb.owlapi.model.OWLIndividual>	negAsNeg()
SortedSet<org.semanticweb.owlapi.model.OWLIndividual>	negAsPos()
SortedSet<org.semanticweb.owlapi.model.OWLIndividual>	posAsNeg()
SortedSet<org.semanticweb.owlapi.model.OWLIndividual>	posAsPos()
void	setFn(SortedSet<org.semanticweb.owlapi.model.OWLIndividual> fn)
void	setFp(SortedSet<org.semanticweb.owlapi.model.OWLIndividual> fp)
void	setNegAsNeg(SortedSet<org.semanticweb.owlapi.model.OWLIndividual> tn)
void	setNegAsPos(SortedSet<org.semanticweb.owlapi.model.OWLIndividual> fp)
void	setPosAsNeg(SortedSet<org.semanticweb.owlapi.model.OWLIndividual> fn)
void	setPosAsPos(SortedSet<org.semanticweb.owlapi.model.OWLIndividual> tp)
void	setTn(SortedSet<org.semanticweb.owlapi.model.OWLIndividual> tn)
void	setTp(SortedSet<org.semanticweb.owlapi.model.OWLIndividual> tp)
SortedSet<org.semanticweb.owlapi.model.OWLIndividual>	tn()
SortedSet<org.semanticweb.owlapi.model.OWLIndividual>	tp()

Methods inherited from class java.lang.Object

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

Constructor Detail

CoverageAdapter2

public CoverageAdapter2(ReasoningUtils.Coverage[] cov)

Method Detail

posAsPos

public SortedSet<org.semanticweb.owlapi.model.OWLIndividual> posAsPos()

setPosAsPos

public void setPosAsPos(SortedSet<org.semanticweb.owlapi.model.OWLIndividual> tp)

posAsNeg

public SortedSet<org.semanticweb.owlapi.model.OWLIndividual> posAsNeg()

setPosAsNeg

public void setPosAsNeg(SortedSet<org.semanticweb.owlapi.model.OWLIndividual> fn)

negAsPos

public SortedSet<org.semanticweb.owlapi.model.OWLIndividual> negAsPos()

setNegAsPos

public void setNegAsPos(SortedSet<org.semanticweb.owlapi.model.OWLIndividual> fp)

negAsNeg

public SortedSet<org.semanticweb.owlapi.model.OWLIndividual> negAsNeg()

setNegAsNeg

public void setNegAsNeg(SortedSet<org.semanticweb.owlapi.model.OWLIndividual> tn)

tp

public SortedSet<org.semanticweb.owlapi.model.OWLIndividual> tp()

setTp

public void setTp(SortedSet<org.semanticweb.owlapi.model.OWLIndividual> tp)

fn

public SortedSet<org.semanticweb.owlapi.model.OWLIndividual> fn()

setFn

public void setFn(SortedSet<org.semanticweb.owlapi.model.OWLIndividual> fn)

fp

public SortedSet<org.semanticweb.owlapi.model.OWLIndividual> fp()

setFp

public void setFp(SortedSet<org.semanticweb.owlapi.model.OWLIndividual> fp)

tn

public SortedSet<org.semanticweb.owlapi.model.OWLIndividual> tn()

setTn

public void setTn(SortedSet<org.semanticweb.owlapi.model.OWLIndividual> tn)