Creates a dictionary structure @param tag the tag of the dict as an Atom or Variable @param map a mapping from Atoms to terms
(Term tag, Map<Atom, Term> map)
| 69 | * |
| 70 | */ |
| 71 | public Dict(Term tag, Map<Atom, Term> map) { |
| 72 | this.tag = tag; |
| 73 | this.map = map; |
| 74 | } |
| 75 | |
| 76 | |
| 77 | public Dict(String dict) { |
nothing calls this directly
no test coverage detected