org.aksw.jena_sparql_api.normal_form

Class Cnf

java.lang.Object

org.aksw.jena_sparql_api.normal_form.ExprNormalForm

org.aksw.jena_sparql_api.normal_form.Cnf

public class Cnf
extends ExprNormalForm

Field Summary

Fields inherited from class org.aksw.jena_sparql_api.normal_form.ExprNormalForm

commonExprs, exprToClauses, varsMentioned, varsToClauses, varToClauses

Constructor Summary

Constructors

Constructor and Description
Cnf(Collection<Clause> clauses)

Method Summary

Methods inherited from class org.aksw.jena_sparql_api.normal_form.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)