Package net.maswag.falcaun

Class FalCAuN

java.lang.Object

net.maswag.falcaun.FalCAuN

public class FalCAuN
extends Object

FalCAuN class.

Author:

Masaki Waga <masakiwaga@gmail.com>

Field Summary

Fields

Modifier and Type	Field	Description
private static int	childrenSize
private static int	generationSize
private static boolean	resetWord

Constructor Summary

Constructors

Constructor	Description
FalCAuN()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	main.
private static void	printEquivSetting(ArgParser argParser, List<TemporalLogic.STLCost> stl)
private static <T extends TemporalLogic<List<Double>>> void	printResult(int i, List<T> cexProperties, List<Signal> cexConcreteInput, List<net.automatalib.word.Word<String>> cexAbstractInput, List<net.automatalib.word.Word<String>> cexOutput)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

generationSize

private static int generationSize

childrenSize

private static int childrenSize

resetWord

private static boolean resetWord

Constructor Details

FalCAuN

public FalCAuN()

Method Details

printEquivSetting

private static void printEquivSetting(ArgParser argParser,
 List<TemporalLogic.STLCost> stl)

main

public static void main(String[] args)
                 throws Exception

main.

Parameters:

args - an array of String objects.

Throws:

Exception - if any.

printResult

private static <T extends TemporalLogic<List<Double>>>
void printResult(int i,
 List<T> cexProperties,
 List<Signal> cexConcreteInput,
 List<net.automatalib.word.Word<String>> cexAbstractInput,
 List<net.automatalib.word.Word<String>> cexOutput)