net.sf.tweety.logics.pl.syntax

Class PropositionalSignature

java.lang.Object

net.sf.tweety.commons.Signature

net.sf.tweety.commons.SetSignature<Proposition>

net.sf.tweety.logics.pl.syntax.PropositionalSignature

All Implemented Interfaces:

java.lang.Iterable<Proposition>, java.util.Collection<Proposition>

public class PropositionalSignature
extends SetSignature<Proposition>

This class captures the signature of a specific propositional language.

Author:

Matthias Thimm, Sebastian Homann

Constructor Summary

Constructors

Constructor and Description
PropositionalSignature() Creates a new (empty) propositional signature.
PropositionalSignature(java.util.Collection<? extends Proposition> propositions) Creates a new propositional signature with the given set of propositions.
PropositionalSignature(int numvars) Creates a new propositional signature with the given number of propositions (named "A0"..."Anumvars".

Method Summary

Modifier and Type	Method and Description
void	add(PropositionalSignature other) Adds the elements of another signature to the current one.

Methods inherited from class net.sf.tweety.commons.SetSignature

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

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

PropositionalSignature

public PropositionalSignature(java.util.Collection<? extends Proposition> propositions)

Creates a new propositional signature with the given set of propositions.

Parameters:

propositions - a set of propositions.

PropositionalSignature

public PropositionalSignature()

Creates a new (empty) propositional signature.

PropositionalSignature

public PropositionalSignature(int numvars)

Creates a new propositional signature with the given number of propositions (named "A0"..."Anumvars".

Parameters:

numvars - the number of variables.

Method Detail

add

public void add(PropositionalSignature other)

Adds the elements of another signature to the current one.

Parameters:

other - a propositional signature.