Class PlSignature

java.lang.Object
org.tweetyproject.commons.SingleSetSignature<Proposition>
org.tweetyproject.logics.pl.syntax.PlSignature
All Implemented Interfaces:
Cloneable, Iterable<Proposition>, Signature

public class PlSignature extends SingleSetSignature<Proposition>
This class captures the signature of a specific propositional language.
Author:
Matthias Thimm, Sebastian Homann
  • Constructor Details

    • PlSignature

      public PlSignature()
      Creates a new (empty) propositional signature.
    • PlSignature

      public PlSignature(Collection<? extends Proposition> propositions)
      Creates a new propositional signature with the given set of propositions.
      Parameters:
      propositions - a set of propositions.
    • PlSignature

      public PlSignature(int numvars)
      Creates a new propositional signature with the given number of propositions (named "A0"..."Anumvars".
      Parameters:
      numvars - the number of variables.
    • PlSignature

      public PlSignature(PlSignature sig)
      Creates a new propositional signature that is a copy of the given signature.
      Parameters:
      sig - a signature
  • Method Details

    • getSignature

      public static PlSignature getSignature(Collection<? extends PlFormula> formulas)
      Returns the set of atoms appearing in the given collection of formulas.
      Parameters:
      formulas - a set of propositional formulas
      Returns:
      the signature of the formulas.
    • add

      public void add(Object obj)
      Description copied from interface: Signature
      Adds the given formula to this signature.
      Parameters:
      obj - some object
    • clone

      public PlSignature clone()
      Description copied from interface: Signature
      clones signature
      Specified by:
      clone in interface Signature
      Specified by:
      clone in class SingleSetSignature<Proposition>
      Returns:
      clone