Package net.maswag.falcaun

Class LTLAPs

java.lang.Object
net.maswag.falcaun.LTLAPs
public class LTLAPs extends Object
Represents the atomic propositions (APs) for LTL formulas. This class holds the complete set of possible input and output values that can appear in an LTL formula, which is necessary for correctly computing the negation of atomic propositions.
Author:
Masaki Waga <masakiwaga@gmail.com>

  • Field Details

    • inputAPs

      private final Set<String> inputAPs

    • outputAPs

      private final Set<String> outputAPs

  • Constructor Details

    • LTLAPs

      public LTLAPs()
      Creates an empty set of atomic propositions.

    • LTLAPs

      public LTLAPs(List<String> inputAPs, List<String> outputAPs)
      Creates atomic propositions with the specified input and output APs.
      Parameters:
      inputAPs - The list of input atomic propositions
      outputAPs - The list of output atomic propositions

  • Method Details

    • addInputAP

      public void addInputAP(String ap)
      Adds an input atomic proposition.
      Parameters:
      ap - The atomic proposition to add

    • addOutputAP

      public void addOutputAP(String ap)
      Adds an output atomic proposition.
      Parameters:
      ap - The atomic proposition to add

    • merge

      public void merge(LTLAPs other)
      Merges another set of atomic propositions into this one.
      Parameters:
      other - The atomic propositions to merge

    • copy

      public LTLAPs copy()
      Creates a copy of these atomic propositions.
      Returns:
      A new LTLAPs with the same atomic propositions