Package org.smtlib

Interface IParser.ElementParser<T>

Enclosing interface:
IParser
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 IParser.ElementParser<T>
Functional interface for a lambda that parses one element from a Parser.

  • Method Summary

    Modifier and Type
    Method
    Description
    T
    parse()