net.sf.tweety.lp.asp.syntax

Class DLPPredicate

java.lang.Object

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

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

net.sf.tweety.lp.asp.syntax.DLPPredicate

All Implemented Interfaces:

java.lang.Comparable<TypedStructureAdapter>, TypedStructure

public class DLPPredicate
extends Predicate

This class models a predicate with its name and arity.

Author:

Tim Janus

Constructor Summary

Constructors

Constructor and Description
DLPPredicate() Default-Ctor: Used for dynamic instantiation
DLPPredicate(java.lang.String name) Ctor: Generates a predicate with the given name and arity zero.
DLPPredicate(java.lang.String name, int arity) Creates a predicate with the given name and the given arity

Method Summary

Modifier and Type	Method and Description
void	addArgumentType(Sort sort) Adds the given Sort as argument type to the typed Structure

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

clone, equals, hashCode

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

DLPPredicate

public DLPPredicate()

Default-Ctor: Used for dynamic instantiation

DLPPredicate

public DLPPredicate(java.lang.String name)

Ctor: Generates a predicate with the given name and arity zero.

Parameters:

name - The name of the predicate

DLPPredicate

public DLPPredicate(java.lang.String name,
                    int arity)

Creates a predicate with the given name and the given arity

Parameters:

name - The name of the predicate

arity - The arity of the predicate

Method Detail

addArgumentType

public void addArgumentType(Sort sort)

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:

sort - The Sort descibing the argument type