Package com.semedy.reasoner.builtin.action

Class Assert

java.lang.Object
com.semedy.reasoner.builtin.action.Assert
All Implemented Interfaces:
Builtin, FilterBuiltin, InternalBuiltin
public class Assert extends Object implements FilterBuiltin, InternalBuiltin
action built-in to write tuples to extensional database
Author:
angele

  • Constructor Details

    • Assert

      public Assert()

  • Method Details

    • isTrue

      public boolean isTrue(long[] input) throws SemReasonerException, IOException
      Description copied from interface: FilterBuiltin
      is built-in true for given arguments
      Specified by:
      isTrue in interface FilterBuiltin
      Parameters:
      input - , the arguments
      Returns:
      Throws:
      ReasoningException
      SemReasonerException
      IOException

    • setProperties

      public void setProperties(Properties prp)
      Description copied from interface: Builtin
      set the sytem properties
      Specified by:
      setProperties in interface Builtin
      Parameters:
      prp - , properties

    • isEvaluable

      public boolean isEvaluable(BitSet grounds, BitSet variableInstantiations, Object[] args) throws BuiltinException
      Description copied from interface: Builtin
      is builtin evaluable with a certain instantiation of variables
      Specified by:
      isEvaluable in interface Builtin
      Parameters:
      grounds - , which arguments are ground
      variableInstantiations - , which variables are instantiated
      args - , the arguments
      Returns:
      was it evaluable
      Throws:
      BuiltinException

    • init

      public void init(Object[] args) throws BuiltinException, InterruptedException, IOException
      Description copied from interface: Builtin
      initialize the builtin
      Specified by:
      init in interface Builtin
      Parameters:
      args - , the builtin arguments
      Throws:
      InterruptedException
      IOException
      BuiltinException

    • evaluationFinished

      public void evaluationFinished() throws BuiltinException, InterruptedException
      Description copied from interface: Builtin
      call back function. Is called when the whole evaluation has been finished
      Specified by:
      evaluationFinished in interface Builtin
      Throws:
      BuiltinException
      InterruptedException

    • setSymbolTable

      public void setSymbolTable(SymbolTable symbolTable)
      Description copied from interface: Builtin
      set the symbol table
      Specified by:
      setSymbolTable in interface Builtin
      Parameters:
      symbolTable - , the symbol table

    • getWeight

      public long getWeight(BitSet grounds, BitSet variableInstantiations, Object[] args)
      Description copied from interface: Builtin
      the weight of the builtin. Determines when the builtin is executed in a rule
      Specified by:
      getWeight in interface Builtin
      Parameters:
      grounds - , ground arguments
      variableInstantiations - , instantiated variables
      args - , arguments of the builtin
      Returns:
      the weight of the builtin (influences the position in the rule)

    • objectGeneratingArguments

      public BitSet objectGeneratingArguments(BitSet grounds, BitSet variableInstantiations, Object[] args) throws BuiltinException
      Description copied from interface: Builtin
      In which argument position are new objects created
      Specified by:
      objectGeneratingArguments in interface Builtin
      Parameters:
      grounds - , ground argument positions
      variableInstantiations - , instantiated variables
      args - , arguments of the literal
      Returns:
      each bit indicates the argument position where new objects are created
      Throws:
      BuiltinException

    • getName

      public String getName()
      Description copied from interface: Builtin
      get the name of the builtin
      Specified by:
      getName in interface Builtin
      Returns:
      the name of the built-in

    • getArity

      public int getArity()
      Description copied from interface: Builtin
      get the arity of the builtin
      Specified by:
      getArity in interface Builtin
      Returns:
      the arity of the built-in

    • getType

      public BuiltinType getType()
      Description copied from interface: Builtin
      get the type of the builtin
      Specified by:
      getType in interface Builtin
      Returns:
      the type of the built-in

    • isInternal

      public boolean isInternal()
      Description copied from interface: Builtin
      is it a builtin for internal use only
      Specified by:
      isInternal in interface Builtin
      Returns:

    • getArgumentDescriptions

      public String[] getArgumentDescriptions()
      Description copied from interface: Builtin
      get descriptions for the different arguments
      Specified by:
      getArgumentDescriptions in interface Builtin
      Returns:
      a description of the arguments of the built-in

    • getDescription

      public String getDescription()
      Description copied from interface: Builtin
      get a description for the builtin
      Specified by:
      getDescription in interface Builtin
      Returns:
      a description of the built-in

    • readsSymbolTable

      public boolean readsSymbolTable()
      Description copied from interface: Builtin
      does the builtin read the symbol table
      Specified by:
      readsSymbolTable in interface Builtin
      Returns:
      true if it reads the symbol table

    • writesSymbolTable

      public boolean writesSymbolTable()
      Description copied from interface: Builtin
      does the builtin write into the symbol table
      Specified by:
      writesSymbolTable in interface Builtin
      Returns:
      true if it writes to the symbol table

    • cloneBuiltin

      public Builtin cloneBuiltin()
      Description copied from interface: Builtin
      clone the builtin
      Specified by:
      cloneBuiltin in interface Builtin
      Returns:
      the cloned built-in

    • clear

      public void clear()
      Description copied from interface: Builtin
      frees up allocated resources
      Specified by:
      clear in interface Builtin

    • setExtensionalDB

      public void setExtensionalDB(ExtensionalDB edb)
      Specified by:
      setExtensionalDB in interface InternalBuiltin

    • setBuiltinProvider

      public void setBuiltinProvider(BuiltinProvider builtins)
      Specified by:
      setBuiltinProvider in interface InternalBuiltin