Package net.sf.tweety.logics.pl.syntax

Class PlSignature

  • All Implemented Interfaces:
    Cloneable, Iterable<Proposition>, net.sf.tweety.commons.Signature
    public class PlSignature
extends net.sf.tweety.commons.SingleSetSignature<Proposition>
    This class captures the signature of a specific propositional language.
    Author:
    Matthias Thimm, Sebastian Homann

    • Field Summary

      • Fields inherited from class net.sf.tweety.commons.SingleSetSignature

        formulas

    • Constructor Summary

      Constructors 
      Constructor Description
      PlSignature()
      Creates a new (empty) propositional signature.
      PlSignature​(int numvars)
      Creates a new propositional signature with the given number of propositions (named "A0"..."Anumvars".
      PlSignature​(Collection<? extends Proposition> propositions)
      Creates a new propositional signature with the given set of propositions.
      PlSignature​(PlSignature sig)
      Creates a new propositional signature that is a copy of the given signature.

    • Method Summary

      Modifier and Type Method Description
      void add​(Object obj)  
      PlSignature clone()  
      static PlSignature getSignature​(Collection<? extends PlFormula> formulas)
      Returns the set of atoms appearing in the given collection of formulas.

      • Methods inherited from class net.sf.tweety.commons.SingleSetSignature

        add, addAll, addSignature, clear, contains, containsAll, equals, hashCode, isEmpty, isOverlappingSignature, isSubSignature, iterator, remove, removeAll, retainAll, size, toArray, toCollection, toString

    • Constructor Detail

      • 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 Detail

      • 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)

      • clone

        public PlSignature clone()
        Specified by:
        clone in interface net.sf.tweety.commons.Signature
        Specified by:
        clone in class net.sf.tweety.commons.SingleSetSignature<Proposition>