1 /*
2  * Copyright (c) 2016 Helmut Neemann
3  * Use of this source code is governed by the GPL v3 license
4  * that can be found in the LICENSE file.
5  */
6 package de.neemann.digital.analyse.quinemc;
7 
8 /**
9  * A simple bool table
10  */
11 public interface BoolTable {
12     /**
13      * @return the table row count
14      */
size()15     int size();
16 
17     /**
18      * returns the value at the given row
19      *
20      * @param i the index
21      * @return the value
22      */
get(int i)23     ThreeStateValue get(int i);
24 
25     /**
26      * @return the real size of the bool table
27      */
realSize()28     default int realSize() {
29         return size();
30     }
31 }
32