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:

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

public class DLPPredicate
extends net.sf.tweety.logics.commons.syntax.Predicate

A predicate has a name and an arity.

Author:

Tim Janus

Constructor Summary

Constructors

Constructor and Description
DLPPredicate() Default-Ctor: Used for dynamic instantiation
DLPPredicate(String name) Ctor: Generates a predicate with the given name and arity zero.
DLPPredicate(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(net.sf.tweety.logics.commons.syntax.Sort sort)

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

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

Parameters:

name - The name of the predicate

DLPPredicate

public DLPPredicate(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(net.sf.tweety.logics.commons.syntax.Sort sort)

Specified by:

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

Overrides:

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