Package edu.tufts.hrilab.polycraft.msg

Class Player

java.lang.Object

edu.tufts.hrilab.polycraft.msg.Msg

edu.tufts.hrilab.polycraft.msg.Player

public class Player
extends Msg

Field Summary

Fields

Modifier and Type	Field	Description
String	facing
double	pitch
int[]	pos
double	yaw

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

actor, log

Constructor Summary

Constructors

Constructor	Description
Player()

Method Summary

Modifier and Type	Method	Description
Set<Predicate>	generateAssertions()
Set<Predicate>	generatePlayerAssertions()

Methods inherited from class java.lang.Object

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

Field Details

pos

public int[] pos

facing

public String facing

yaw

public double yaw

pitch

public double pitch

Constructor Details

Player

public Player()

Method Details

generateAssertions

public Set<Predicate> generateAssertions()

Specified by:

generateAssertions in class Msg

generatePlayerAssertions

public Set<Predicate> generatePlayerAssertions()