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