#############################################################################
##
#W  ste_realizability.gd                         Victor Bovdi <vbovdi@gmail.com>
#W                                       Vasyl Laver  <vasyllaver@uzhnu.edu.ua>
##
##
#H  @(#)$Id: ste_realizability.gd,v 1.02 $
##
#Y  Copyright (C)  2018,  UAE University, UAE
##
#############################################################################
##
##  This file contains some methods for determination of a single threshold element
##	realizability of Boolean functions.
##
#############################################################################

DeclareOperation("BooleanFunctionBySTE", [IsObject]);
DeclareOperation("PDBooleanFunctionBySTE", [IsString]);



#E
##
