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

    • DLVPredicate

      public DLVPredicate(String name, int arity)