mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-13 17:36:15 +00:00
Code Activity

Java API: FuncInterp.Entry should be an inner static class

Browse source 
...as it does not use any fields of the outer FuncInterp object.
This commit is contained in:
George Karpenkov 2016-06-12 21:00:51 +02:00
parent 5657399d55
commit 2a347f04bf
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/api/java/FuncInterp.java
View file

@ -28,8 +28,8 @@ public class FuncInterp extends Z3Object
* An Entry object represents an element in the finite map used to encode a * An Entry object represents an element in the finite map used to encode a
* function interpretation. * function interpretation.
**/ **/
public class Entry extends Z3Object public static class Entry extends Z3Object {
{
/** /**
* Return the (symbolic) value of this entry. * Return the (symbolic) value of this entry.
* *