updated shell code to register query commands with Tcl object
[scpubgit/DX.git] / lib / DX / QueryState.pm
1 package DX::QueryState;
2
3 use Types::Standard qw(HashRef);
4 use DX::Class;
5
6 has predicates => (is => 'ro', isa => HashRef[Predicate], required => 1);
7
8 has globals => (is => 'ro', isa => DictValue, required => 1);
9
10 has proposition_sequence => (
11   is => 'ro', isa => PropositionSequence, required => 1
12 );
13
14 1;