public final class CounterExample<G,M> extends Object
Constructor and Description |
---|
CounterExample(G object,
Collection<M> attributes) |
CounterExample(G object,
M... attributes) |
Modifier and Type | Method and Description |
---|---|
void |
addTo(Implication<G,M> implication) |
boolean |
equals(Object obj) |
Set<M> |
getAttributes() |
G |
getObject() |
int |
hashCode() |
void |
insertIn(Context<G,M> cxt) |
String |
toString() |
@SafeVarargs public CounterExample(G object, M... attributes)
public CounterExample(G object, Collection<M> attributes)
public final Set<M> getAttributes()
public final void addTo(Implication<G,M> implication)
Copyright © 2010–2023 Francesco Kriegel. All rights reserved.