Package tools.refinery.logic.dnf.callback

Interface ClauseCallback4Data0

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 ClauseCallback4Data0

Method Summary

Modifier and Type	Method	Description
Collection<Literal>	toLiterals(NodeVariable v1, NodeVariable v2, NodeVariable v3, NodeVariable v4)

Method Details

toLiterals

Collection<Literal> toLiterals(NodeVariable v1,
 NodeVariable v2,
 NodeVariable v3,
 NodeVariable v4)