Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser

Interface BuiltInPredicateNameChecker

All Known Implementing Classes:
CustomBuiltInPredicateNameChecker
public interface BuiltInPredicateNameChecker

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    isBuiltInPredicateName(String predicateName)
     

  • Method Details

    • isBuiltInPredicateName

      boolean isBuiltInPredicateName(String predicateName)