Package net.sf.tweety.logics.pl.syntax

Class PlPredicate

  • All Implemented Interfaces:
    Comparable<net.sf.tweety.logics.commons.syntax.TypedStructureAdapter>, net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure
    public class PlPredicate
extends net.sf.tweety.logics.commons.syntax.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 Summary

      Constructors 
      Constructor Description
      PlPredicate()
      Default-Ctor for dynamic instantiation
      PlPredicate​(String name)
      Ctor: Creates a new propositional predicate with the given name.

    • Method Summary

      Modifier and Type Method Description
      void addArgumentType​(net.sf.tweety.logics.commons.syntax.Sort argType)  
      PlPredicate clone()  

      • Methods inherited from class net.sf.tweety.logics.commons.syntax.Predicate

        equals, hashCode

      • Methods inherited from class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter

        compareTo, copyArgumentTypes, getArgumentTypes, getArity, getName, isComplete, isTyped, removeArgumentType, removeArgumentType, setName, toString

    • Constructor Detail

      • 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 Detail

      • addArgumentType

        public void addArgumentType​(net.sf.tweety.logics.commons.syntax.Sort argType)
        Specified by:
        addArgumentType in interface net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure
        Overrides:
        addArgumentType in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter

      • clone

        public PlPredicate clone()
        Specified by:
        clone in interface net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure
        Overrides:
        clone in class net.sf.tweety.logics.commons.syntax.Predicate