JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Tree
Index
Help
Summary:
Nested
Field
Constr
Method
Detail:
Field
Constr
Method
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method
SEARCH
Package
tools.refinery.logic.dnf.callback
Interface ClauseCallback2Data0
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
ClauseCallback2Data0
Method Summary
All Methods
Instance Methods
Abstract Methods
Modifier and Type
Method
Description
Collection
<
Literal
>
toLiterals
(
NodeVariable
v1,
NodeVariable
v2)
Method Details
toLiterals
Collection
<
Literal
>
toLiterals
(
NodeVariable
v1,
NodeVariable
v2)