org.aksw.sparqlify.database

Class Cnf

java.lang.Object

org.aksw.sparqlify.database.ExprNormalForm

org.aksw.sparqlify.database.Cnf

public class Cnf
extends ExprNormalForm

Field Summary

Fields inherited from class org.aksw.sparqlify.database.ExprNormalForm

commonExprs, exprToClauses, varsMentioned, varsToClauses, varToClauses

Constructor Summary

Constructors

Constructor and Description
Cnf(Collection<Clause> clauses)

Method Summary

Methods inherited from class org.aksw.sparqlify.database.ExprNormalForm

equals, filterByVars, get, get, getClauses, getCommonExprs, getExactly, getVarsMentioned, hashCode, size, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Cnf

public Cnf(Collection<Clause> clauses)