Package edu.tufts.hrilab.polycraft.msg

Class Entities

java.lang.Object

edu.tufts.hrilab.polycraft.msg.Msg

edu.tufts.hrilab.polycraft.msg.Entities

public class Entities
extends Msg

Gson can't directly populate this class because it contains a java.util.Map, so it must be populated manually after the JSON has been parsed.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	Entities.Entity

Field Summary

Fields

Modifier and Type	Field	Description
Map<String,Entities.Entity>	entities

Fields inherited from class edu.tufts.hrilab.polycraft.msg.Msg

actor, log

Constructor Summary

Constructors

Constructor	Description
Entities(Map<String,Entities.Entity> entities)	Entities constructor.

Method Summary

Modifier and Type	Method	Description
Set<Predicate>	generateAssertions()
Set<Predicate>	generateEntityAssertions()
List<Map<Variable,Symbol>>	getAtBindings(Variable objVar, Variable xVar, Variable yVar)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

entities

public Map<String,Entities.Entity> entities

Constructor Details

Entities

public Entities(Map<String,Entities.Entity> entities)

Entities constructor.

Parameters:

entities - entities data that was parsed from JSON format

Method Details

generateAssertions

public Set<Predicate> generateAssertions()

Specified by:

generateAssertions in class Msg

generateEntityAssertions

public Set<Predicate> generateEntityAssertions()

getAtBindings

public List<Map<Variable,Symbol>> getAtBindings(Variable objVar,
 Variable xVar,
 Variable yVar)