public class ConnectiveListener extends Object implements FlagListener<Boolean>
FlagListener.FlagListenerNotifier<T>
Constructor and Description |
---|
ConnectiveListener(Connective connective,
Flag<Boolean> flag,
int myIndex) |
public ConnectiveListener(Connective connective, Flag<Boolean> flag, int myIndex)
public void flagChanged(Boolean changedValue)
flagChanged
in interface FlagListener<Boolean>
Copyright © 2012 AMIS research group, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. All Rights Reserved.