public class Blocksworld
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static jadex.rules.state.OAVAttributeType |
ball_has_color
A ball has a color.
|
static jadex.rules.state.OAVObjectType |
ball_type
The ball type.
|
static jadex.rules.state.OAVAttributeType |
block_has_color
A block has a color.
|
static jadex.rules.state.OAVAttributeType |
block_has_left
A block is left from another block.
|
static jadex.rules.state.OAVAttributeType |
block_has_name
A block has a name.
|
static jadex.rules.state.OAVAttributeType |
block_has_on
A block is on another block.
|
static jadex.rules.state.OAVObjectType |
block_type
The block type.
|
static jadex.rules.state.OAVAttributeType |
blockcontainer_has_blocks
A block container can store blocks.
|
static jadex.rules.state.OAVObjectType |
blockcontainer_type
The Java blocks container.
|
static jadex.rules.state.OAVTypeModel |
blocksworld_type_model
The blocksworld type model.
|
static jadex.rules.state.OAVJavaType |
java_block_type
The java block type.
|
Constructor and Description |
---|
Blocksworld() |
Modifier and Type | Method and Description |
---|---|
static jadex.rules.rulesystem.RuleSystem |
createReteSystem()
Create the blocksworld rete.
|
static void |
main(java.lang.String[] args)
Main for testing.
|
static void |
performBlocksWorldStackTest()
Perform the blocksworld stack test.
|
public static final jadex.rules.state.OAVTypeModel blocksworld_type_model
public static final jadex.rules.state.OAVJavaType java_block_type
public static final jadex.rules.state.OAVObjectType block_type
public static final jadex.rules.state.OAVAttributeType block_has_name
public static final jadex.rules.state.OAVAttributeType block_has_color
public static final jadex.rules.state.OAVAttributeType block_has_on
public static final jadex.rules.state.OAVAttributeType block_has_left
public static final jadex.rules.state.OAVObjectType ball_type
public static final jadex.rules.state.OAVAttributeType ball_has_color
public static final jadex.rules.state.OAVObjectType blockcontainer_type
public static final jadex.rules.state.OAVAttributeType blockcontainer_has_blocks
public static void main(java.lang.String[] args)
public static void performBlocksWorldStackTest()
public static jadex.rules.rulesystem.RuleSystem createReteSystem()