|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object EDU.gatech.cc.is.abstractrobot.ControlSystemS EDU.gatech.cc.is.abstractrobot.ControlSystemSS teams.ucmTeam.UCMPlayer
public abstract class UCMPlayer
UCMPlayer is a Control System that represents a robot based on predefined behaviours. All team players share a team manager.
UCMPlayer is an abstract class. To use it you must extend this class and implement the getTeamManager
method.
Behaviour
,
TeamManager
| Field Summary | |
|---|---|
protected java.util.Queue<Message> |
pendingMessages
|
| Fields inherited from class EDU.gatech.cc.is.abstractrobot.ControlSystemSS |
|---|
abstract_robot |
| Fields inherited from class EDU.gatech.cc.is.abstractrobot.ControlSystemS |
|---|
CSSTAT_DONE, CSSTAT_ERROR, CSSTAT_OK, seed |
| Constructor Summary | |
|---|---|
UCMPlayer()
Default constructor |
| Method Summary | |
|---|---|
void |
Configure()
Configures the team and the robot. |
protected abstract TeamManager |
createTeamManager()
Creates a reference to the TeamManager. |
Behaviour |
getBehaviour()
Gets a reference to the behaviour that controls this robot |
java.util.Queue<Message> |
getPendingMessages()
Gets the queue of pending messages for this robot |
RobotAPI |
getRobotAPI()
Gets a reference to the robotAPI employed to execute actions on this robot |
void |
quit()
|
void |
setBehaviour(Behaviour b)
Changes the behaviour on this robot |
int |
TakeStep()
TakeStep delegates in the behaviour of the corresponding robot |
| Methods inherited from class EDU.gatech.cc.is.abstractrobot.ControlSystemSS |
|---|
init, loadResourceFile, showAdditionalRuntimeStats, showRuntimeStats |
| Methods inherited from class EDU.gatech.cc.is.abstractrobot.ControlSystemS |
|---|
configure, getAbstractRobot, Init, takeStep, trialEnd, TrialEnd, trialInit, TrialInit |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
protected java.util.Queue<Message> pendingMessages
| Constructor Detail |
|---|
public UCMPlayer()
| Method Detail |
|---|
public final void Configure()
getTeamManager()
. Then it configures each robot using the default
behaviours provided by the team manager.
Configure
in class EDU.gatech.cc.is.abstractrobot.ControlSystemS
protected abstract TeamManager createTeamManager()
This method must be implemented by subclasses
public final int TakeStep()
TakeStep
in class EDU.gatech.cc.is.abstractrobot.ControlSystemS
public final void quit()
quit
in class EDU.gatech.cc.is.abstractrobot.ControlSystemS
public final void setBehaviour(Behaviour b)
b
- the new behaviourpublic final Behaviour getBehaviour()
public final RobotAPI getRobotAPI()
public final java.util.Queue<Message> getPendingMessages()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |


{% extends "base.html" %} {% block page_title %}Shipments{% endblock %} {% block content %}
| Shipment ID | Shipping Date | Customer | Address | Invoice |
|---|---|---|---|---|
| {{ shipment.id }} | {{ shipment.date_shipped }} | {{ shipment.customer }} | {{ shipment.address }} | {{ shipment.invoice_number }} |


Windows: Use the desktop or Start menu shortcuts
Linux: In a terminal, execute $INSTALL_PATH/eclipse/Launcher.sh
The Release Notes are available by clicking this link or inside the build-in Help and Welcome inside BridgePoint.
BridgePoint is an open source tool supported by the xtUML community in the on-line forum at xtUML.org. Professional support is available from One Fact.


--- layout: page title: Lean Prover Zulip Chat Archive permalink: archive/113489newmembers/47470Easywaytolifttheentirestructure.html ---
I have some algebraic structure, say a vector space. Then I take a quotient on the structure, and the equivalence relation is respected by all the operations of the algebraic structure (like addition and scalar multiplication). Then I want to say that the quotient space has the same algebraic structure, and there is a natural homomorphism between the original space and the quotient space. Do I need to prove everything again?
Currently we don't have a tactic automating this. But there are many examples in mathlib (including the one of vector spaces).
{% endraw %}


If it doesn't challenge you, it doesn't change you
About
I'm a brazilian student. Nowadays I'm attending high school and taking a technical course in mechanics. I always liked the universe of computers and coding, but I never took courage to study how to code, until the beginning of 2017. So, I started to study web developing, I'm really doing some progress and I'm fascinated how we can build great things with some lines of code.
This Page was made by Bruno Lavanini.


Method List
Search:
- #== Brauser::Value
- #accept_language Brauser::Browser
- #accepts? Brauser::Browser
- #agent Brauser::Browser
- #browser Brauser::Hooks::RubyOnRails
- browsers Brauser::Definitions
- #classes Brauser::Browser
- #code Brauser::Definitions::Language
- disambiguate Brauser::Parser
- #engine_matcher Brauser::Definitions::Browser
- #human_languages Brauser::Browser
- #human_name Brauser::Browser
- #human_platform Brauser::Browser
- #id Brauser::Definitions::Base
- included Brauser::Hooks::RubyOnRails
- #initialize Brauser::Definitions::Language
- #initialize Brauser::Value
- #initialize Brauser::Browser
- #initialize Brauser::Definitions::Browser
- #initialize Brauser::Definitions::Platform
- #is? Brauser::Browser
- #languages Brauser::Browser
- languages Brauser::Definitions
- #match Brauser::Definitions::Browser
- #match Brauser::Definitions::Platform
- #match Brauser::Definitions::Base
- #matcher Brauser::Definitions::Platform
- #method_missing Brauser::Value
- #method_missing Brauser::Browser
- #name Brauser::Browser
- #name Brauser::Definitions::Platform
- #name Brauser::Definitions::Browser
- #name Brauser::Definitions::Language
- #parse_accept_language Brauser::Parser
- #parse_agent Brauser::Parser
- #platform Brauser::Browser
- platforms Brauser::Definitions
- register Brauser::Definitions
- #supported? Brauser::Browser
- #value Brauser::Value
- #version Brauser::Browser
- #version_matcher Brauser::Definitions::Browser


|
UnitySlippyMap
A slippy map implementation written in C# for Unity3D.
|
Public Member Functions | |
| void | CenterOnLocation () |
| Centers the map on the location of the host. More... | |
| T | SetLocationMarker< T > (GameObject locationGo) |
| Sets the marker for the host's location and orientation using a GameObject instance for display. More... | |
| T | SetLocationMarker< T > (GameObject locationGo, GameObject orientationGo) |
| Sets the marker for the host's location and orientation using two GameObject instances for display. More... | |
| T | CreateLayer< T > (string name) |
| Creates a new named layer. More... | |
| T | CreateMarker< T > (string name, double[] coordinatesWGS84, GameObject go) |
| Creates a new named marker at the specified coordinates using a GameObject for display. More... | |
| void | RemoveMarker (Marker m) |
| Removes the marker. More... | |
| void | Zoom (float zoomSpeed) |
| Zooms the map at the specified zoomSpeed. More... | |
Properties | |
| static Map | Instance [get] |
| Gets the instance. More... | |
| Camera | CurrentCamera [get, set] |
| Gets or sets the current camera used to render the map. More... | |
| bool | IsDirty [get, set] |
| Gets or sets a value indicating whether this instance is dirty and needs to be updated. More... | |
| double[] | CenterWGS84 [get, set] |
| Gets or sets the center coordinates of the map in the WGS84 coordinate system. More... | |
| double[] | CenterEPSG900913 [get, set] |
| Gets or sets the center coordinates in the EPSG 900913 coordinate system. More... | |
| float | CurrentZoom [get, set] |
| Gets or sets the current zoom. More... | |
| float | ZoomStepUpperThreshold [get, set] |
| Gets or sets the zoom step upper threshold. More... | |
| float | ZoomStepLowerThreshold [get, set] |
| Gets or sets the zoom step lower threshold. More... | |
| float | MinZoom [get, set] |
| Gets or sets the minimum zoom. More... | |
| float | MaxZoom [get, set] |
| Gets or sets the maximum zoom. More... | |
| int | RoundedZoom [get] |
| Gets the rounded zoom. More... | |
| float | HalfMapScale [get] |
| Gets the half map scale. More... | |
| float | RoundedHalfMapScale [get] |
| Gets the rounded half map scale. More... | |
| float | MetersPerPixel [get] |
| Gets the meters per pixel. More... | |
| float | RoundedMetersPerPixel [get] |
| Gets the rounded meters per pixel. More... | |
| float | ScaleMultiplier [get] |
| Gets the scale multiplier. More... | |
| float | RoundedScaleMultiplier [get] |
| Gets the rounded scale multiplier. More... | |
| float | TileResolution [get] |
| Gets the tile resolution. More... | |
| bool | UsesLocation [get, set] |
| Gets or sets a value indicating whether this UnitySlippyMap.Map uses the host's location. More... | |
| bool | UpdatesCenterWithLocation [get, set] |
| Gets or sets a value indicating whether this UnitySlippyMap.Map updates its center with the host's location. More... | |
| bool | UsesOrientation [get, set] |
| Gets or sets a value indicating whether this UnitySlippyMap.Map uses the host's orientation. More... | |
| bool | CameraFollowsOrientation [get, set] |
| Gets or sets a value indicating whether this UnitySlippyMap.Map's camera follows the host's orientation. More... | |
| List< Marker > | Markers [get] |
| Gets the list of markers. More... | |
| bool | ShowsGUIControls [get, set] |
| Gets or sets a value indicating whether this UnitySlippyMap.Map shows GUI controls. More... | |
| bool | InputsEnabled [get, set] |
| Gets or sets a value indicating whether this UnitySlippyMap.Map inputs are enabled. More... | |
| bool | HasMoved [get, set] |
| Gets or sets a value indicating whether this UnitySlippyMap.Map has moved. More... | |
| GUIDelegate | GUIDelegate [get, set] |
| Gets or sets the GUI delegate. More... | |
| InputDelegate | InputDelegate [get, set] |
| Gets or sets the input delegate. More... | |
| static string | WKTEPSG900913 [get] |
| Gets the Well-Known Text representation of the EPSG900913 projection. More... | |
| CoordinateTransformationFactory | CTFactory [get] |
| Gets the CoordinateTransformationFactory instance. More... | |
| ICoordinateSystem | EPSG900913 [get] |
| Gets the EPSG 900913 ICoordinateSystem instance. More... | |
| ICoordinateTransformation | WGS84ToEPSG900913 [get] |
| Gets the WGS84 to EPSG 900913 ICoordinateTransformation instance. More... | |
| IMathTransform | WGS84ToEPSG900913Transform [get] |
| Gets the WGS84 to EPSG900913 IMathTransform instance. More... | |
| IMathTransform | EPSG900913ToWGS84Transform [get] |
| Gets the EPSG 900913 to WGS84 IMathTransform instance. More... | |
Private Member Functions | |
| void | EnsureMap () |
| Ensures the map. More... | |
| Map () | |
| Initializes a new instance of the UnitySlippyMap.Map class. More... | |
| void | OnDestroy () |
| Raises the destroy event. More... | |
| void | OnApplicationQuit () |
| Raises the application quit event. More... | |
| void | FitVerticalBorder () |
| Fits the vertical border. More... | |
| double[] | ComputeCenterEPSG900913 (double[] pos) |
| Computes the center EPS g900913. More... | |
| void | UpdateInternals () |
| Updates the UnitySlippyMap.Map instance. More... | |
| void | Awake () |
| Raises the Awake event. More... | |
| void | Start () |
| Raises the Start event. More... | |
| void | OnGUI () |
| Raises the GUI event. More... | |
| void | Update () |
| Raises the Update event. More... | |
Private Attributes | |
| Camera | currentCamera |
| The current camera used to render the map. More... | |
| bool | isDirty = false |
| Indicates whether this instance is dirty and needs to be updated. More... | |
| double[] | centerWGS84 = new double[2] |
| The center coordinates of the map in the WGS84 coordinate system. More... | |
| double[] | centerEPSG900913 = new double[2] |
| The center coordinates in the EPSG 900913 coordinate system. More... | |
| float | currentZoom |
| The current zoom. More... | |
| float | zoomStepUpperThreshold = 0.8f |
| The zoom step upper threshold. More... | |
| float | zoomStepLowerThreshold = 0.2f |
| The zoom step lower threshold. More... | |
| float | minZoom = 3.0f |
| The minimum zoom level for this map. More... | |
| float | maxZoom = 18.0f |
| The maximum zoom level for this map. More... | |
| int | roundedZoom |
| The rounded zoom. More... | |
| float | halfMapScale = 0.0f |
| The half map scale. More... | |
| float | roundedHalfMapScale = 0.0f |
| The rounded half map scale. More... | |
| float | metersPerPixel = 0.0f |
| The number of meters per pixel in respect to the latitude and zoom level of the map. More... | |
| float | roundedMetersPerPixel = 0.0f |
| The rounded meters per pixel. More... | |
| float | scaleMultiplier = 0.0f |
| The scale multiplier. More... | |
| float | roundedScaleMultiplier = 0.0f |
| The rounded scale multiplier. More... | |
| float | scaleDivider = 20000.0f |
| The scale divider. More... | |
| float | tileResolution = 256.0f |
| The tile resolution. More... | |
| float | screenScale = 1.0f |
| The screen scale. More... | |
| bool | usesLocation = false |
| The "uses location" flag. More... | |
| bool | updatesCenterWithLocation = true |
| The "updates center with location" flag. More... | |
| bool | usesOrientation = false |
| The "uses orientation" flag. More... | |
| bool | cameraFollowsOrientation = false |
| The "camera follows orientation" flag. More... | |
| float | lastCameraOrientation = 0.0f |
| The last camera orientation. More... | |
| List< Marker > | markers = new List<Marker> () |
| The list of UnitySlippyMap.Marker instances. More... | |
| bool | showsGUIControls = false |
| The "shows GUI controls" flag. More... | |
| bool | inputsEnabled = false |
| The "inputs enabled" flag. More... | |
| LocationMarker | locationMarker |
| The location marker. More... | |
| List< Layer > | layers = new List<Layer> () |
| The list of UnitySlippyMap.Layer instances. More... | |
| bool | hasMoved = false |
| The "has moved" flag. More... | |
| GUIDelegate | guiDelegate |
| The GUI delegate. More... | |
| InputDelegate | inputDelegate |
| The input delegate. More... | |
| bool | wasInputInterceptedByGUI |
| The "was input intercepted by GUI" flag. More... | |
| CoordinateTransformationFactory | ctFactory |
| The CoordinateTransformationFactory instance. More... | |
| ICoordinateSystem | epsg900913 |
| The EPSG 900913 ICoordinateSystem instance. More... | |
| ICoordinateTransformation | wgs84ToEPSG900913 |
| The WGS84 to EPSG 900913 ICoordinateTransformation instance. More... | |
| IMathTransform | wgs84ToEPSG900913Transform |
| The WGS84 to EPSG 900913 IMathTransform instance. More... | |
| IMathTransform | epsg900913ToWGS84Transform |
| The EPSG 900913 to WGS84 IMathTransform instance. More... | |
Static Private Attributes | |
| static Map | instance = null |
| The instance. More... | |
| static string | wktEPSG900913 |
| The Well-Known Text representation of the EPSG900913 projection. More... | |
|
private |
Initializes a new instance of the UnitySlippyMap.Map class.
|
private |
Raises the Awake event.
| void UnitySlippyMap.Map.CenterOnLocation | ( | ) |
Centers the map on the location of the host.
|
private |
Computes the center EPS g900913.
| pos | Position. |
| T UnitySlippyMap.Map.CreateLayer< T > | ( | string | name | ) |
Creates a new named layer.
| name | The layer's name. |
| T | The 1st type parameter. |
| T | : | Layer |
| T UnitySlippyMap.Map.CreateMarker< T > | ( | string | name, |
| double[] | coordinatesWGS84, | ||
| GameObject | go | ||
| ) |
Creates a new named marker at the specified coordinates using a GameObject for display.
| name | Name. |
| coordinatesWGS84 | Coordinates WG s84. |
| go | Go. |
| T | The 1st type parameter. |
| T | : | Marker |
|
private |
Ensures the map.
|
private |
Fits the vertical border.
|
private |
Raises the application quit event.
|
private |
Raises the destroy event.
|
private |
Raises the GUI event.
| void UnitySlippyMap.Map.RemoveMarker | ( | Marker | m | ) |
Removes the marker.
| m | The marker. |
| ArgumentNullException | Is thrown when an argument passed to a method is invalid because it is . |
| ArgumentOutOfRangeException | Is thrown when an argument passed to a method is invalid because it is outside the allowable range of values as specified by the method. |
| T UnitySlippyMap.Map.SetLocationMarker< T > | ( | GameObject | locationGo | ) |
Sets the marker for the host's location and orientation using a GameObject instance for display.
| locationGo | The GameObject instance. |
| T | The 1st type parameter. |
| T | : | LocationMarker |
| T UnitySlippyMap.Map.SetLocationMarker< T > | ( | GameObject | locationGo, |
| GameObject | orientationGo | ||
| ) |
Sets the marker for the host's location and orientation using two GameObject instances for display.
| locationGo | The location GameObject instance. |
| orientationGo | The orientation GameObject instance. |
| T | The 1st type parameter. |
| T | : | LocationMarker |
|
private |
Raises the Start event.
|
private |
Raises the Update event.
|
private |
Updates the UnitySlippyMap.Map instance.
| void UnitySlippyMap.Map.Zoom | ( | float | zoomSpeed | ) |
Zooms the map at the specified zoomSpeed.
| zoomSpeed | Zoom speed. |
|
private |
The "camera follows orientation" flag.
|
private |
The center coordinates in the EPSG 900913 coordinate system.
|
private |
The center coordinates of the map in the WGS84 coordinate system.
|
private |
The CoordinateTransformationFactory instance.
|
private |
The current camera used to render the map.
|
private |
The current zoom.
|
private |
The EPSG 900913 ICoordinateSystem instance.
|
private |
The EPSG 900913 to WGS84 IMathTransform instance.
|
private |
The GUI delegate.
|
private |
The half map scale.
It is used throughout the implementation to rule the camera elevation and the size/scale of the tiles.
|
private |
The "has moved" flag.
|
private |
The input delegate.
|
private |
The "inputs enabled" flag.
|
staticprivate |
The instance.
|
private |
Indicates whether this instance is dirty and needs to be updated.
|
private |
The last camera orientation.
The list of UnitySlippyMap.Layer instances.
|
private |
The location marker.
The list of UnitySlippyMap.Marker instances.
|
private |
The maximum zoom level for this map.
|
private |
The number of meters per pixel in respect to the latitude and zoom level of the map.
|
private |
The minimum zoom level for this map.
|
private |
The rounded half map scale.
|
private |
The rounded meters per pixel.
|
private |
The rounded scale multiplier.
|
private |
The rounded zoom.
It is updated when UnitySlippyMap.Map.CurrentZoom is set.
|
private |
The scale divider.
It is an arbitrary value used to keep values within single floating point range when converting coordinates to Unity3D world coordinates.
|
private |
The scale multiplier.
It helps converting meters (EPSG 900913) to Unity3D world coordinates.
|
private |
The screen scale.
|
private |
The "shows GUI controls" flag.
|
private |
The tile resolution.
|
private |
The "updates center with location" flag.
|
private |
The "uses location" flag.
It indicates whether this UnitySlippyMap.Map uses the host's location.
|
private |
The "uses orientation" flag.
|
private |
The "was input intercepted by GUI" flag.
|
private |
The WGS84 to EPSG 900913 ICoordinateTransformation instance.
|
private |
The WGS84 to EPSG 900913 IMathTransform instance.
|
staticprivate |
The Well-Known Text representation of the EPSG900913 projection.
|
private |
The zoom step lower threshold.
|
private |
The zoom step upper threshold.
|
getset |
Gets or sets a value indicating whether this UnitySlippyMap.Map's camera follows the host's orientation.
true
if the camera follows the host's orientation; otherwise, false
. If set to true
, UnitySlippyMap.Map.CameraFollowsOrientation is set to true
.
|
getset |
Gets or sets the center coordinates in the EPSG 900913 coordinate system.
When set, the map is refreshed and the center coordinates of the map in WGS84 are also updated.
|
getset |
Gets or sets the center coordinates of the map in the WGS84 coordinate system.
When set, the map is refreshed and the center coordinates of the map in the EPSG 900913 coordinate system are also updated.
|
get |
Gets the CoordinateTransformationFactory instance.
|
getset |
Gets or sets the current camera used to render the map.
The current camera used to render the map.
|
getset |
Gets or sets the current zoom.
When set, the map is refreshed.
|
get |
Gets the EPSG 900913 ICoordinateSystem instance.
|
get |
Gets the EPSG 900913 to WGS84 IMathTransform instance.
|
get |
Gets the half map scale.
The half map scale is a value used throughout the implementation to rule the camera elevation and the size/scale of the tiles.
|
getset |
Gets or sets a value indicating whether this UnitySlippyMap.Map has moved.
true
if this instance has moved; otherwise, false
. The map will not update when it is true and will set it to false at the end of its Update.
|
getset |
Gets or sets the input delegate.
The input delegate.
|
getset |
Gets or sets a value indicating whether this UnitySlippyMap.Map inputs are enabled.
true
if inputs enabled; otherwise, false
. TODO: implement inputs in a user oriented customizable way
|
staticget |
Gets the instance.
The instance of the UnitySlippyMap.Map singleton.
|
getset |
Gets or sets a value indicating whether this instance is dirty and needs to be updated.
true
if this instance is dirty; otherwise, false
.
|
get |
Gets the list of markers.
The list of UnitySlippyMap.Marker instances.
|
getset |
Gets or sets the maximum zoom.
This is the maximum zoom value for the map. Superior zoom values are clamped when setting the UnitySlippyMap.Map.CurrentZoom. Additionally, values are always clamped between 3 and 18.
|
get |
Gets the meters per pixel.
The number of meters per pixel in respect to the latitude and zoom level of the map.
|
getset |
Gets or sets the minimum zoom.
This is the mininum zoom value for the map. Inferior zoom values are clamped when setting the UnitySlippyMap.Map.CurrentZoom. Additionally, values are always clamped between 3 and 18.
|
get |
Gets the rounded half map scale.
|
get |
Gets the rounded meters per pixel.
|
get |
Gets the rounded scale multiplier.
|
get |
Gets the rounded zoom.
The rounded zoom is updated when UnitySlippyMap.Map.CurrentZoom is set.
|
get |
Gets the scale multiplier.
The scale multiplier helps converting meters (EPSG 900913) to Unity3D world coordinates.
|
getset |
Gets or sets a value indicating whether this UnitySlippyMap.Map shows GUI controls.
true
if show GUI controls; otherwise, false
.
|
get |
Gets the tile resolution.
The tile resolution in pixels.
|
getset |
Gets or sets a value indicating whether this UnitySlippyMap.Map updates its center with the host's location.
true
if update center with location; otherwise, false
. It is automatically set to false
when the map is manipulated by the user.
|
getset |
Gets or sets a value indicating whether this UnitySlippyMap.Map uses the host's location.
true
if uses location; otherwise, false
.
|
getset |
Gets or sets a value indicating whether this UnitySlippyMap.Map uses the host's orientation.
true
if use orientation; otherwise, false
.
|
get |
Gets the WGS84 to EPSG 900913 ICoordinateTransformation instance.
|
get |
Gets the WGS84 to EPSG900913 IMathTransform instance.
|
staticget |
Gets the Well-Known Text representation of the EPSG900913 projection.
|
getset |
Gets or sets the zoom step lower threshold.
The zoom step upper threshold determines if the zoom level of the map should change when zooming in.
|
getset |
Gets or sets the zoom step upper threshold.
The zoom step upper threshold determines if the zoom level of the map should change when zooming out.