Package tools.refinery.logic.dnf

Class DnfBuilder

java.lang.Object

tools.refinery.logic.dnf.DnfBuilder

public final class DnfBuilder
extends Object

Method Summary

Modifier and Type	Method	Description
Dnf	build()
<T> DnfBuilder	clause(Class<T> type1, ClauseCallback1Data1<T> callback)
<T> DnfBuilder	clause(Class<T> type1, ClauseCallback2Data1<T> callback)
<T> DnfBuilder	clause(Class<T> type1, ClauseCallback3Data1<T> callback)
<T> DnfBuilder	clause(Class<T> type1, ClauseCallback4Data1<T> callback)
<T1, T2, T3, T4> DnfBuilder	clause(Class<T1> type1, Class<T2> type2, Class<T3> type3, Class<T4> type4, ClauseCallback4Data4<T1,T2,T3,T4> callback)
<T1, T2, T3> DnfBuilder	clause(Class<T1> type1, Class<T2> type2, Class<T3> type3, ClauseCallback3Data3<T1,T2,T3> callback)
<T1, T2, T3> DnfBuilder	clause(Class<T1> type1, Class<T2> type2, Class<T3> type3, ClauseCallback4Data3<T1,T2,T3> callback)
<T1, T2> DnfBuilder	clause(Class<T1> type1, Class<T2> type2, ClauseCallback2Data2<T1,T2> callback)
<T1, T2> DnfBuilder	clause(Class<T1> type1, Class<T2> type2, ClauseCallback3Data2<T1,T2> callback)
<T1, T2> DnfBuilder	clause(Class<T1> type1, Class<T2> type2, ClauseCallback4Data2<T1,T2> callback)
DnfBuilder	clause(Collection<? extends Literal> literals)
DnfBuilder	clause(ClauseCallback0 callback)
DnfBuilder	clause(ClauseCallback1Data0 callback)
DnfBuilder	clause(ClauseCallback2Data0 callback)
DnfBuilder	clause(ClauseCallback3Data0 callback)
DnfBuilder	clause(ClauseCallback4Data0 callback)
DnfBuilder	clause(Literal... literals)
DnfBuilder	functionalDependencies(Collection<FunctionalDependency<Variable>> functionalDependencies)
DnfBuilder	functionalDependency(Set<? extends Variable> forEach, Set<? extends Variable> unique)
DnfBuilder	functionalDependency(FunctionalDependency<Variable> functionalDependency)
NodeVariable	parameter()
<T> DataVariable<T>	parameter(Class<T> type)
<T> DataVariable<T>	parameter(Class<T> type, ParameterDirection direction)
NodeVariable	parameter(String name)
<T> DataVariable<T>	parameter(String name, Class<T> type)
<T> DataVariable<T>	parameter(String name, Class<T> type, ParameterDirection direction)
Variable	parameter(String name, Parameter parameter)
NodeVariable	parameter(String name, ParameterDirection direction)
Variable	parameter(Parameter parameter)
NodeVariable	parameter(ParameterDirection direction)
DnfBuilder	parameter(Variable variable)
DnfBuilder	parameter(Variable variable, ParameterDirection direction)
DnfBuilder	parameters(Collection<? extends Variable> variables)
DnfBuilder	parameters(Collection<? extends Variable> variables, ParameterDirection direction)
DnfBuilder	parameters(Variable... variables)
DnfBuilder	symbolicParameter(SymbolicParameter symbolicParameter)
DnfBuilder	symbolicParameters(Collection<SymbolicParameter> symbolicParameters)
DnfBuilder	symbolicParameters(SymbolicParameter... symbolicParameters)

Methods inherited from class java.lang.Object

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

Method Details

parameter

public NodeVariable parameter()

parameter

public NodeVariable parameter(String name)

parameter

public NodeVariable parameter(ParameterDirection direction)

parameter

public NodeVariable parameter(String name,
 ParameterDirection direction)

parameter

public <T> DataVariable<T> parameter(Class<T> type)

parameter

public <T> DataVariable<T> parameter(String name,
 Class<T> type)

parameter

public <T> DataVariable<T> parameter(Class<T> type,
 ParameterDirection direction)

parameter

public <T> DataVariable<T> parameter(String name,
 Class<T> type,
 ParameterDirection direction)

parameter

public Variable parameter(Parameter parameter)

parameter

public Variable parameter(String name,
 Parameter parameter)

parameter

public DnfBuilder parameter(Variable variable)

parameter

public DnfBuilder parameter(Variable variable,
 ParameterDirection direction)

parameters

public DnfBuilder parameters(Variable... variables)

parameters

public DnfBuilder parameters(Collection<? extends Variable> variables)

parameters

public DnfBuilder parameters(Collection<? extends Variable> variables,
 ParameterDirection direction)

symbolicParameter

public DnfBuilder symbolicParameter(SymbolicParameter symbolicParameter)

symbolicParameters

public DnfBuilder symbolicParameters(SymbolicParameter... symbolicParameters)

symbolicParameters

public DnfBuilder symbolicParameters(Collection<SymbolicParameter> symbolicParameters)

functionalDependencies

public DnfBuilder functionalDependencies(Collection<FunctionalDependency<Variable>> functionalDependencies)

functionalDependency

public DnfBuilder functionalDependency(FunctionalDependency<Variable> functionalDependency)

functionalDependency

public DnfBuilder functionalDependency(Set<? extends Variable> forEach,
 Set<? extends Variable> unique)

clause

public DnfBuilder clause(ClauseCallback0 callback)

clause

public DnfBuilder clause(ClauseCallback1Data0 callback)

clause

public <T> DnfBuilder clause(Class<T> type1,
 ClauseCallback1Data1<T> callback)

clause

public DnfBuilder clause(ClauseCallback2Data0 callback)

clause

public <T> DnfBuilder clause(Class<T> type1,
 ClauseCallback2Data1<T> callback)

clause

public <T1,
T2> DnfBuilder clause(Class<T1> type1,
 Class<T2> type2,
 ClauseCallback2Data2<T1,T2> callback)

clause

public DnfBuilder clause(ClauseCallback3Data0 callback)

clause

public <T> DnfBuilder clause(Class<T> type1,
 ClauseCallback3Data1<T> callback)

clause

public <T1,
T2> DnfBuilder clause(Class<T1> type1,
 Class<T2> type2,
 ClauseCallback3Data2<T1,T2> callback)

clause

public <T1,
T2,
T3> DnfBuilder clause(Class<T1> type1,
 Class<T2> type2,
 Class<T3> type3,
 ClauseCallback3Data3<T1,T2,T3> callback)

clause

public DnfBuilder clause(ClauseCallback4Data0 callback)

clause

public <T> DnfBuilder clause(Class<T> type1,
 ClauseCallback4Data1<T> callback)

clause

public <T1,
T2> DnfBuilder clause(Class<T1> type1,
 Class<T2> type2,
 ClauseCallback4Data2<T1,T2> callback)

clause

public <T1,
T2,
T3> DnfBuilder clause(Class<T1> type1,
 Class<T2> type2,
 Class<T3> type3,
 ClauseCallback4Data3<T1,T2,T3> callback)

clause

public <T1,
T2,
T3,
T4> DnfBuilder clause(Class<T1> type1,
 Class<T2> type2,
 Class<T3> type3,
 Class<T4> type4,
 ClauseCallback4Data4<T1,T2,T3,T4> callback)

clause

public DnfBuilder clause(Literal... literals)

clause

public DnfBuilder clause(Collection<? extends Literal> literals)

build

public Dnf build()