de.up.ling.irtg.automata.condensed

Interface GenericCondensedIntersectionAutomaton.IntersectionCall

Enclosing class:

GenericCondensedIntersectionAutomaton<LeftState,RightState>

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 static interface GenericCondensedIntersectionAutomaton.IntersectionCall

Method Summary

Modifier and Type	Method and Description
TreeAutomaton	intersect(TreeAutomaton left, CondensedTreeAutomaton right)

Method Detail

intersect

TreeAutomaton intersect(TreeAutomaton left,
                        CondensedTreeAutomaton right)