net.sf.tweety.logics.pl.syntax

Class PropositionalPredicate

java.lang.Object

net.sf.tweety.logics.commons.syntax.TypedStructureAdapter

net.sf.tweety.logics.commons.syntax.Predicate

net.sf.tweety.logics.pl.syntax.PropositionalPredicate

All Implemented Interfaces:

java.lang.Comparable<TypedStructureAdapter>, TypedStructure

public class PropositionalPredicate
extends Predicate

A specialized predicate for propositional logic that only allows an identifier but has no arguments and therefore has an arity of zero.

Author:

Tim Janus

Constructor Summary

Constructors

Constructor and Description
PropositionalPredicate() Default-Ctor for dynamic instantiation
PropositionalPredicate(java.lang.String name) Ctor: Creates a new propositional predicate with the given name.

Method Summary

Modifier and Type	Method and Description
void	addArgumentType(Sort argType) Adds the given Sort as argument type to the typed Structure
PropositionalPredicate	clone() Creates a deep copy of this object
void	setArity(int arity) Sets the arity of this structure

Methods inherited from class net.sf.tweety.logics.commons.syntax.Predicate

equals, hashCode

Methods inherited from class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter

compareTo, copyArgumentTypes, getArgumentTypes, getArity, getName, isComplete, isTyped, removeArgumentType, removeArgumentType, setName, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

PropositionalPredicate

public PropositionalPredicate()

Default-Ctor for dynamic instantiation

PropositionalPredicate

public PropositionalPredicate(java.lang.String name)

Ctor: Creates a new propositional predicate with the given name.

Parameters:

name - The name of the predicate

Method Detail

setArity

public void setArity(int arity)

Description copied from interface: TypedStructure

Sets the arity of this structure

Specified by:

setArity in interface TypedStructure

Overrides:

setArity in class TypedStructureAdapter

Parameters:

arity - the new arity

addArgumentType

public void addArgumentType(Sort argType)

Description copied from interface: TypedStructure

Adds the given Sort as argument type to the typed Structure

Specified by:

addArgumentType in interface TypedStructure

Overrides:

addArgumentType in class TypedStructureAdapter

Parameters:

argType - The Sort descibing the argument type

clone

public PropositionalPredicate clone()

Description copied from interface: TypedStructure

Creates a deep copy of this object

Specified by:

clone in interface TypedStructure

Overrides:

clone in class Predicate

Returns:

A deep copy of this object