ubc.cs.JLog.Terms.Entries
Class pOrPredicateEntry

java.lang.Object
  ubc.cs.JLog.Parser.pPredicateEntry
      ubc.cs.JLog.Terms.Entries.pOrPredicateEntry

All Implemented Interfaces:

iName, iNameArity

public class pOrPredicateEntry
extends pPredicateEntry

Field Summary

Fields inherited from class ubc.cs.JLog.Parser.pPredicateEntry

arity, library, name, NARY_ARITY

Constructor Summary

pOrPredicateEntry()

Method Summary

iPredicate

createPredicate(jCompoundTerm cterm) The internal method for creating the iPredicate representation of this predicate representation.

Methods inherited from class ubc.cs.JLog.Parser.pPredicateEntry

createPredicate, createPredicate, getArity, getLibrary, getName, isArity, sameLibrary, setLibrary, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

pOrPredicateEntry

public pOrPredicateEntry()

Method Detail

createPredicate

public iPredicate createPredicate(jCompoundTerm cterm)

Description copied from class: pPredicateEntry

The internal method for creating the iPredicate representation of this predicate representation. Subclasses must override. The terms are provided, already created. The caller is responsible to ensure that arity and cterm.size match.

Specified by:

createPredicate in class pPredicateEntry

Parameters:

cterm - The collection of jTerms.

Returns:

iPredicate representing this predicate and its terms.