Class 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 Details

    • ClingoPredicate

      public ClingoPredicate(String name, int arity)
    • ClingoPredicate

      public ClingoPredicate(String name)