Uses of Class
uk.ac.man.cs.rainbow.wvmc.AutomataBuilder

Packages that use AutomataBuilder

uk.ac.man.cs.rainbow.wvmc	Classes implementing a model-checker.
uk.ac.man.cs.rainbow.wvmc.parser	CTL*-NNF and LTL parsers.

Uses of AutomataBuilder in uk.ac.man.cs.rainbow.wvmc

Fields in uk.ac.man.cs.rainbow.wvmc declared as AutomataBuilder

AutomataBuilder

TemporalModel.builder

Constructors in uk.ac.man.cs.rainbow.wvmc with parameters of type AutomataBuilder

TemporalModel(StateEngine engine, AutomataBuilder builder)

Uses of AutomataBuilder in uk.ac.man.cs.rainbow.wvmc.parser

Methods in uk.ac.man.cs.rainbow.wvmc.parser with parameters of type AutomataBuilder

static Formula	SpecParse.parse(AutomataBuilder builder, String s) Parse the given string and build a formula with the given construction engine.
static Formula	SpecParse.parseLTL(AutomataBuilder builder, String s) Parse the given string and build an LTL formula with the given construction engine.