public class EventuallyFollowsAbstractionFactory
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static double |
BOOLEAN_DEFAULT_THRESHOLD |
Constructor and Description |
---|
EventuallyFollowsAbstractionFactory() |
Modifier and Type | Method and Description |
---|---|
static <E> EventuallyFollowsAbstraction<E> |
constructAlphaPlusPlusEventuallyFollowsAbstraction(CausalAbstraction<E> cra,
LongTermFollowsAbstraction<E> ltfa) |
static <E> double[][] |
constructAlphaPlusPlusEventuallyFollowsMatrix(CausalAbstraction<E> cra,
LongTermFollowsAbstraction<E> ltfa) |
public static final double BOOLEAN_DEFAULT_THRESHOLD
public static <E> double[][] constructAlphaPlusPlusEventuallyFollowsMatrix(CausalAbstraction<E> cra, LongTermFollowsAbstraction<E> ltfa)
public static <E> EventuallyFollowsAbstraction<E> constructAlphaPlusPlusEventuallyFollowsAbstraction(CausalAbstraction<E> cra, LongTermFollowsAbstraction<E> ltfa)