Package net.maswag.falcaun

Class AtomicPropositionUtil

java.lang.Object

net.maswag.falcaun.AtomicPropositionUtil

public class AtomicPropositionUtil
extends Object

Utility class for constructing abstract atomic propositions.

Author:

Masaki Waga <masakiwaga@gmail.com>

Constructor Summary

Constructors

Modifier	Constructor	Description
private	AtomicPropositionUtil()	Private constructor to prevent instantiation of utility class.

Method Summary

Modifier and Type	Method	Description
static List<String>	constructAbstractAPs(List<List<Character>> abstractOutputs, List<Character> largestOutputs)	Constructs abstract atomic propositions from abstract outputs and largest outputs.

Methods inherited from class java.lang.Object

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

Constructor Details

AtomicPropositionUtil

private AtomicPropositionUtil()

Private constructor to prevent instantiation of utility class.

Method Details

constructAbstractAPs

public static List<String> constructAbstractAPs(List<List<Character>> abstractOutputs,
 List<Character> largestOutputs)

Constructs abstract atomic propositions from abstract outputs and largest outputs.

This method generates all possible combinations of abstract output characters by taking the cartesian product of abstract outputs with their corresponding largest outputs.

Parameters:

abstractOutputs - A list of lists of abstract output characters for each component.

largestOutputs - A list of largest output characters for each component.

Returns:

A list of strings representing all possible abstract atomic propositions.

Throws:

IllegalArgumentException - if inputs are null, empty, or have mismatched sizes.