Package com.semedy.reasoner.reasoning.processes

Class VariableHandler

java.lang.Object
com.semedy.reasoner.reasoning.processes.VariableHandler
public class VariableHandler extends Object

  • Constructor Details

    • VariableHandler

      public VariableHandler(Rule rule)

  • Method Details

    • groundPositions

      public int[] groundPositions(int i)

    • destArity

      public int destArity(int i)

    • cacheDestArity

      public int cacheDestArity(int i)

    • groundValues

      public long[] groundValues(int i)

    • extendedGroundValues

      public long[] extendedGroundValues(int i)

    • leftSource

      public int[] leftSource(int i)

    • cacheLeftDest

      public int[] cacheLeftDest(int i)

    • compareLeft

      public int[] compareLeft(int i)

    • compareBottom

      public int[] compareBottom(int i)

    • compareBottomUnfolded

      public int[] compareBottomUnfolded(int i)

    • leftDest

      public int[] leftDest(int i)

    • leftVariables

      public BitSet leftVariables(int i)

    • bottomSource

      public int[] bottomSource(int i)

    • cacheBottomDest

      public int[] cacheBottomDest(int i)

    • bottomDest

      public int[] bottomDest(int i)

    • bottomSourceUnfolded

      public int[] bottomSourceUnfolded(int i)

    • leftSourceUnfolded

      public int[] leftSourceUnfolded(int i)

    • boundArguments

      public BitSet boundArguments(int i)

    • bottomVariables

      public BitSet bottomVariables(int i)

    • compareVariables

      public BitSet compareVariables(int i)

    • getRule

      public Rule getRule()

    • destVariables

      public BitSet destVariables(int i)