ASPOperator.DLVPredicate

java.lang.Object

org.tweetyproject.logics.commons.syntax.TypedStructureAdapter

org.tweetyproject.logics.commons.syntax.Predicate

org.tweetyproject.lp.asp.syntax.ASPOperator.DLVPredicate

All Implemented Interfaces:: Comparable<TypedStructureAdapter>, TypedStructure

Enclosing class:: ASPOperator

public static class ASPOperator.DLVPredicate extends Predicate

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

Author:: Anna Gessler

Constructor Summary

Constructors

Constructor

Description

DLVPredicate(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
- DLVPredicate
  
  public DLVPredicate(String name, int arity)
  
  Constructor
  
  Parameters:
  
  name - the name
  
  arity - the arity