Package jadex.rules.examples.blocksworld

Class Blocksworld

  • public class Blocksworld
extends java.lang.Object
    The blocks world meta model.

    • Field Detail

      • blocksworld_type_model

        public static final OAVTypeModel blocksworld_type_model
        The blocksworld type model.

      • java_block_type

        public static final OAVJavaType java_block_type
        The java block type.

      • block_type

        public static final OAVObjectType block_type
        The block type.

      • block_has_name

        public static final OAVAttributeType block_has_name
        A block has a name.

      • block_has_color

        public static final OAVAttributeType block_has_color
        A block has a color.

      • block_has_on

        public static final OAVAttributeType block_has_on
        A block is on another block.

      • block_has_left

        public static final OAVAttributeType block_has_left
        A block is left from another block.

      • ball_type

        public static final OAVObjectType ball_type
        The ball type.

      • ball_has_color

        public static final OAVAttributeType ball_has_color
        A ball has a color.

      • blockcontainer_type

        public static final OAVObjectType blockcontainer_type
        The Java blocks container.

      • blockcontainer_has_blocks

        public static final OAVAttributeType blockcontainer_has_blocks
        A block container can store blocks.

    • Constructor Detail

      • Blocksworld

        public Blocksworld()

    • Method Detail

      • main

        public static void main​(java.lang.String[] args)
        Main for testing.

      • performBlocksWorldStackTest

        public static void performBlocksWorldStackTest()
        Perform the blocksworld stack test.

      • createReteSystem

        public static RuleSystem createReteSystem()
        Create the blocksworld rete.
        Returns:
        The rete system.