Class ASPOperator.ClingoPredicate

java.lang.Object

org.tweetyproject.logics.commons.syntax.TypedStructureAdapter

org.tweetyproject.logics.commons.syntax.Predicate

org.tweetyproject.lp.asp.syntax.ASPOperator.ClingoPredicate

All Implemented Interfaces:

Comparable<TypedStructureAdapter>, TypedStructure

Enclosing class:

ASPOperator

public static class ASPOperator.ClingoPredicate
extends Predicate

Additional special predicates of the clingo syntax that have no direct representation in the DLV or ASP-Core-2 format.

Author:

Anna Gessler

Constructor Summary

Constructors

Constructor	Description
ClingoPredicate(String name)	Constructor
ClingoPredicate(String name, int arity)	Constructor

Method Summary

Methods inherited from class org.tweetyproject.logics.commons.syntax.Predicate

clone, equals, hashCode

Methods inherited from class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter

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

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

ClingoPredicate

public ClingoPredicate(String name,
 int arity)

Constructor

Parameters:

name - the name

arity - the arity

ClingoPredicate

public ClingoPredicate(String name)

Constructor

Parameters:

name - the name