Class PlPredicate

  • All Implemented Interfaces:
    java.lang.Comparable<TypedStructureAdapter>, TypedStructure

    public class PlPredicate
    extends Predicate
    A specialized predicate for propositional logic that only allows an identifier but has no arguments and therefore has an arity of zero.
    Author:
    Tim Janus
    • Constructor Detail

      • PlPredicate

        public PlPredicate()
        Default-Ctor for dynamic instantiation
      • PlPredicate

        public PlPredicate​(java.lang.String name)
        Ctor: Creates a new propositional predicate with the given name.
        Parameters:
        name - The name of the predicate