Uses of Class org.intocps.fmichecker.quotes.BooleanQuote (A VDM model checker for Model Definition 4.0.1 API)

Packages that use BooleanQuote

Package

Description

org.intocps.fmichecker.quotes

Uses of BooleanQuote in org.intocps.fmichecker.quotes

Methods in org.intocps.fmichecker.quotes that return BooleanQuote

Modifier and Type

Method

Description

static BooleanQuote

BooleanQuote.getInstance()