Package tools.refinery.logic.dnf

Class Dnf

java.lang.Object

tools.refinery.logic.dnf.Dnf

All Implemented Interfaces:

Constraint

public final class Dnf
extends Object
implements Constraint

A disjunctive normal form (DNF) is a disjunction of conjunctions of literals.

Method Summary

Modifier and Type	Method	Description
int	arity()
<T> FunctionalQuery<T>	asFunction(Class<T> type)
RelationalQuery	asRelation()
static DnfBuilder	builder()
static DnfBuilder	builder(String name)
static DnfBuilder	builderFrom(Dnf original)
boolean	equals(LiteralEqualityHelper helper, Constraint other)
boolean	equalsWithSubstitution(DnfEqualityChecker callEqualityChecker, Dnf other)
List<DnfClause>	getClauses()
List<FunctionalDependency<Variable>>	getFunctionalDependencies()
List<Parameter>	getParameters()
Reduction	getReduction()
List<SymbolicParameter>	getSymbolicParameters()
String	getUniqueName()
int	hashCodeWithSubstitution()
boolean	isExplicitlyNamed()
String	name()
static Dnf	of(String name, Consumer<DnfBuilder> callback)
static Dnf	of(Consumer<DnfBuilder> callback)
String	toDefinitionString()
String	toReferenceString()
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface tools.refinery.logic.Constraint

aggregateBy, aggregateBy, call, call, call, callTransitive, count, count, invalidIndex, leftJoinBy, leftJoinBy

Method Details

name

public String name()

Specified by:

name in interface Constraint

isExplicitlyNamed

public boolean isExplicitlyNamed()

getUniqueName

public String getUniqueName()

getSymbolicParameters

public List<SymbolicParameter> getSymbolicParameters()

getParameters

public List<Parameter> getParameters()

Specified by:

getParameters in interface Constraint

getFunctionalDependencies

public List<FunctionalDependency<Variable>> getFunctionalDependencies()

arity

public int arity()

Specified by:

arity in interface Constraint

getClauses

public List<DnfClause> getClauses()

asRelation

public RelationalQuery asRelation()

asFunction

public <T> FunctionalQuery<T> asFunction(Class<T> type)

getReduction

public Reduction getReduction()

Specified by:

getReduction in interface Constraint

equalsWithSubstitution

public boolean equalsWithSubstitution(DnfEqualityChecker callEqualityChecker,
 Dnf other)

equals

public boolean equals(LiteralEqualityHelper helper,
 Constraint other)

Specified by:

equals in interface Constraint

hashCodeWithSubstitution

public int hashCodeWithSubstitution()

toString

public String toString()

Overrides:

toString in class Object

toReferenceString

public String toReferenceString()

Specified by:

toReferenceString in interface Constraint

toDefinitionString

public String toDefinitionString()

builder

public static DnfBuilder builder()

builder

public static DnfBuilder builder(String name)

builderFrom

public static DnfBuilder builderFrom(Dnf original)

of

public static Dnf of(Consumer<DnfBuilder> callback)

of

public static Dnf of(String name,
 Consumer<DnfBuilder> callback)