Uses of Interface
uk.ac.manchester.cs.jfact.kernel.options.Option

Packages that use Option

Package	Description
uk.ac.manchester.cs.jfact.kernel.options

Uses of Option in uk.ac.manchester.cs.jfact.kernel.options

Classes in uk.ac.manchester.cs.jfact.kernel.options that implement Option

Modifier and Type	Class and Description
class	LongOption
class	StringOption

Methods in uk.ac.manchester.cs.jfact.kernel.options that return Option

Modifier and Type	Method and Description
static Option	JFactReasonerConfiguration.getOption(String name, long l)
static Option	JFactReasonerConfiguration.getOption(String name, String s)