Package tools.refinery.logic.dnf.callback

Interface ClauseCallback4Data4<T1,T2,T3,T4>

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public interface ClauseCallback4Data4<T1,T2,T3,T4>

Method Summary

Modifier and Type	Method	Description
Collection<Literal>	toLiterals(DataVariable<T1> d1, DataVariable<T2> d2, DataVariable<T3> d3, DataVariable<T4> d4)

Method Details

toLiterals

Collection<Literal> toLiterals(DataVariable<T1> d1,
 DataVariable<T2> d2,
 DataVariable<T3> d3,
 DataVariable<T4> d4)