Class PlPredicate

All Implemented Interfaces:
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 Details

    • PlPredicate

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

      public PlPredicate(String name)
      Ctor: Creates a new propositional predicate with the given name.
      Parameters:
      name - The name of the predicate
  • Method Details