-
Notifications
You must be signed in to change notification settings - Fork 2
/
environments.html
108 lines (94 loc) · 7.21 KB
/
environments.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
<div class="container-fluid text-left" ng-class="{'treadonly': $loading}">
<div class="row">
<div class="col-md-2" style="padding-right:40px">
<!--Sidebar content-->
<button class="btn btn-primary" ng-click="twc.goto('/environments/new')">New T-Environment</button>
<hr>
Filter by name: <input class="form-control" ng-model="ec.query.name">
<div class="checkbox">
<label><input type="checkbox" ng-model="ec.allProps"> All properties</label>
</div>
<div class="animate-show-3d-top" ng-hide="ec.allProps">
<b>Only Task environment that are:</b>
<div class="btn-group btn-group-justified">
<label class="btn btn-default glyphicon glyphicon-eye-open" ng-model="ec.query.prop.fullyObservable" btn-radio="true" tooltip="Fully Observable"></label>
<label class="btn btn-default glyphicon glyphicon-eye-close" ng-model="ec.query.prop.fullyObservable" btn-radio="false" tooltip="Partially Observable"></label>
</div>
<div class="btn-group btn-group-justified">
<label class="btn btn-default" ng-model="ec.query.prop.multiagent" btn-radio="false" tooltip="Single agent"><img src="imgs/web-app/icon-single-agent.png"></label>
<label class="btn btn-default" ng-model="ec.query.prop.multiagent" btn-radio="true" tooltip="Multiagent"><img src="imgs/web-app/icon-multiagent.png"></label>
</div>
<div class="btn-group btn-group-justified">
<label class="btn btn-default glyphicon glyphicon-arrow-right" ng-model="ec.query.prop.deterministic" btn-radio="true" tooltip="Deterministic"></label>
<label class="btn btn-default glyphicon glyphicon-random" ng-model="ec.query.prop.deterministic" btn-radio="false" tooltip="Stochastic"></label>
</div>
<div class="btn-group btn-group-justified">
<label class="btn btn-default glyphicon glyphicon-record" ng-model="ec.query.prop.dynamic" btn-radio="0" tooltip="Static"></label>
<label class="btn btn-default" ng-model="ec.query.prop.dynamic" btn-radio="1" tooltip="Semidynamic"><img src="imgs/web-app/icon-semidynamic.png"></label>
<label class="btn btn-default glyphicon glyphicon-time" ng-model="ec.query.prop.dynamic" btn-radio="2" tooltip="Dynamic"></label>
</div>
<div class="btn-group btn-group-justified">
<label class="btn btn-default glyphicon glyphicon-ok" ng-model="ec.query.prop.known" btn-radio="true" tooltip="Known"></label>
<label class="btn btn-default glyphicon glyphicon-remove" ng-model="ec.query.prop.known" btn-radio="false" tooltip="Unknown"></label>
</div>
<div class="checkbox">
<label><input type="checkbox" ng-model="ec.query.battery"> Battery</label>
</div>
<div class="checkbox">
<label><input type="checkbox" ng-model="ec.query.easy_mode"> Easy-Mode</label>
</div>
</div>
Sort by:
<select class="form-control" ng-model="ec.orderCond">
<option value="name">Alphabetical</option>
<option value="-date">Newest</option>
</select>
</div>
<div class="col-md-10">
<h2><span class="glyphicon glyphicon-th"></span> Task Environments<small class="pull-right" ng-if="totalPages-1">{{ec.page+'/'+totalPages}}</small></h2>
<!--Body content-->
<div class="list-group mouse-cursor" style="min-height: 300px">
<a class="list-group-item animate-filter transition-400 min-height-110" ng-repeat="env in items = (ec.taskEnvironments | filter:ec.userFilter) | orderBy:ec.orderCond track by $index" ng-click="ec.setSelected(env.date)" ng-dblclick="ec.openRunModal()" ng-class="{active:ec.isSelected(env.date)}" ng-if="(ec.page-1)*ec.itemsPerPage <= $index&&$index < ec.page*ec.itemsPerPage">
<!-- PROPERTIES ICONS-->
<div class="pull-right">
<div class="glyphicon glyphicon-eye-open" ng-show="env.prop.fullyObservable" tooltip="Fully observable"></div>
<div class="glyphicon glyphicon-eye-close" ng-hide="env.prop.fullyObservable" tooltip="Partially observable"></div>
<div class="solid-icon-16 icon-single-agent" ng-hide="env.prop.multiagent" tooltip="Single agent"></div>
<div class="solid-icon-16 icon-multiagent" ng-show="env.prop.multiagent" tooltip="Multiagent"></div>
<div class="glyphicon glyphicon-arrow-right" ng-show="env.prop.deterministic" tooltip="Deterministic"></div>
<div class="glyphicon glyphicon-random" ng-hide="env.prop.deterministic" tooltip="Stochastic"></div>
<div class="glyphicon glyphicon-record" ng-show="env.prop.dynamic == 0" tooltip="Static"></div>
<div class="solid-icon-16 icon-semidynamic" ng-show="env.prop.dynamic == 1" tooltip="Semidynamic"></div>
<div class="glyphicon glyphicon-time" ng-show="env.prop.dynamic == 2" tooltip="Dynamic"></div>
<div class="glyphicon glyphicon-ok" ng-show="env.prop.known" tooltip="Known"></div>
<div class="glyphicon glyphicon-remove" ng-hide="env.prop.known" tooltip="Unknown"></div>
<div class="glyphicon glyphicon-flash" ng-show="env.battery" tooltip="Battery"></div>
<div class="glyphicon glyphicon-log-in" ng-show="env.final_tweaks.easy" tooltip="Easy-Mode"></div>
</div>
<h4 class="list-group-item-heading">
<span ng-class="{'text-white':ec.isSelected(env.date),'text-blue':!ec.isSelected(env.date)}">
{{env.name}}
</span>
<span class="badge active">{{env.date | date:'dd-MMM-yyyy HH:mm:ss'}}</span>
<small ng-if="env.builtin" ng-class="{'text-white':ec.isSelected(env.date),'text-green':!ec.isSelected(env.date)}"><b>default</b></small>
</h4>
<p class="list-group-item-text text-gray2">{{env.desc|stringLimit:400}}</p>
<div class="row">
<div class="pull-right animate-only-show margin-right-10" ng-show="ec.isSelected(env.date)">
<button class="btn btn-success glyphicon glyphicon-play" ng-click="ec.openRunModal()" tooltip="Run"></button>
<button ng-if="env.builtin" class="btn btn-warning glyphicon glyphicon-cog" ng-click="ec.open()" tooltip="View configuration"></button>
<button ng-if="!env.builtin" class="btn btn-warning glyphicon glyphicon-cog" ng-click="ec.open()" tooltip="Edit configuration"></button>
<button class="btn btn-info glyphicon glyphicon-user" ng-click="ec.testIt()" tooltip-html-unsafe="Test as human<br>(Arrows + space key)"></button>
<button class="btn btn-info glyphicon glyphicon-stats" ng-click="twc.goto('/stats/task-env:'+env.date+'&agent-prog:all')" tooltip="View stats"></button>
<button class="btn btn-danger glyphicon glyphicon-remove animate-none" ng-click="ec.remove()" tooltip="Delete" ng-hide="env.builtin"></button>
</div>
</div>
</a>
</div>
<div class="text-center animate-show" ng-show="items.length > ec.itemsPerPage">
<pagination total-items="items.length" ng-model="ec.page" max-size="5" class="pagination" boundary-links="true" items-per-page="ec.itemsPerPage" num-pages="totalPages" ng-change="twc.gotoTop()"></pagination>
</div>
<div class="separator"></div>
</div>
</div>
</div>