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:

Comparable<net.sf.tweety.logics.commons.syntax.TypedStructureAdapter>, net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure

public class PropositionalPredicate
extends net.sf.tweety.logics.commons.syntax.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(String name) Ctor: Creates a new propositional predicate with the given name.

Method Summary

Modifier and Type	Method and Description
void	addArgumentType(net.sf.tweety.logics.commons.syntax.Sort argType)
PropositionalPredicate	clone()
void	setArity(int arity)

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

Specified by:

setArity in interface net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure

Overrides:

setArity in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter

addArgumentType

public void addArgumentType(net.sf.tweety.logics.commons.syntax.Sort argType)

Specified by:

addArgumentType in interface net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure

Overrides:

addArgumentType in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter

clone

public PropositionalPredicate clone()

Specified by:

clone in interface net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure

Overrides:

clone in class net.sf.tweety.logics.commons.syntax.Predicate