Package tools.refinery.logic.dnf
Class DnfBuilder
java.lang.Object
tools.refinery.logic.dnf.DnfBuilder
-
Method Summary
Modifier and TypeMethodDescriptionbuild()
<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>
DnfBuilderclause
(Class<T1> type1, Class<T2> type2, Class<T3> type3, Class<T4> type4, ClauseCallback4Data4<T1, T2, T3, T4> callback) <T1,
T2, T3>
DnfBuilderclause
(Class<T1> type1, Class<T2> type2, Class<T3> type3, ClauseCallback3Data3<T1, T2, T3> callback) <T1,
T2, T3>
DnfBuilderclause
(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) clause
(Collection<? extends Literal> literals) clause
(ClauseCallback0 callback) clause
(ClauseCallback1Data0 callback) clause
(ClauseCallback2Data0 callback) clause
(ClauseCallback3Data0 callback) clause
(ClauseCallback4Data0 callback) functionalDependencies
(Collection<FunctionalDependency<Variable>> functionalDependencies) functionalDependency
(Set<? extends Variable> forEach, Set<? extends Variable> unique) functionalDependency
(FunctionalDependency<Variable> functionalDependency) <T> DataVariable
<T> <T> DataVariable
<T> parameter
(Class<T> type, ParameterDirection direction) <T> DataVariable
<T> <T> DataVariable
<T> parameter
(String name, Class<T> type, ParameterDirection direction) parameter
(String name, ParameterDirection direction) parameter
(ParameterDirection direction) parameter
(Variable variable, ParameterDirection direction) parameters
(Collection<? extends Variable> variables) parameters
(Collection<? extends Variable> variables, ParameterDirection direction) parameters
(Variable... variables) symbolicParameter
(SymbolicParameter symbolicParameter) symbolicParameters
(Collection<SymbolicParameter> symbolicParameters) symbolicParameters
(SymbolicParameter... symbolicParameters)
-
Method Details
-
parameter
-
parameter
-
parameter
-
parameter
-
parameter
-
parameter
-
parameter
-
parameter
-
parameter
-
parameter
-
parameter
-
parameter
-
parameters
-
parameters
-
parameters
public DnfBuilder parameters(Collection<? extends Variable> variables, ParameterDirection direction) -
symbolicParameter
-
symbolicParameters
-
symbolicParameters
-
functionalDependencies
public DnfBuilder functionalDependencies(Collection<FunctionalDependency<Variable>> functionalDependencies) -
functionalDependency
-
functionalDependency
public DnfBuilder functionalDependency(Set<? extends Variable> forEach, Set<? extends Variable> unique) -
clause
-
clause
-
clause
-
clause
-
clause
-
clause
public <T1,T2> DnfBuilder clause(Class<T1> type1, Class<T2> type2, ClauseCallback2Data2<T1, T2> callback) -
clause
-
clause
-
clause
public <T1,T2> DnfBuilder clause(Class<T1> type1, Class<T2> type2, ClauseCallback3Data2<T1, T2> callback) -
clause
public <T1,T2, DnfBuilder clauseT3> (Class<T1> type1, Class<T2> type2, Class<T3> type3, ClauseCallback3Data3<T1, T2, T3> callback) -
clause
-
clause
-
clause
public <T1,T2> DnfBuilder clause(Class<T1> type1, Class<T2> type2, ClauseCallback4Data2<T1, T2> callback) -
clause
public <T1,T2, DnfBuilder clauseT3> (Class<T1> type1, Class<T2> type2, Class<T3> type3, ClauseCallback4Data3<T1, T2, T3> callback) -
clause
public <T1,T2, DnfBuilder clauseT3, T4> (Class<T1> type1, Class<T2> type2, Class<T3> type3, Class<T4> type4, ClauseCallback4Data4<T1, T2, T3, T4> callback) -
clause
-
clause
-
build
-