Here is a list of all documented class members with links to the class documentation for each member:

begin_column : clingo_location
begin_file : clingo_location
begin_line : clingo_location
check : clingo_propagator
end_column : clingo_location
end_file : clingo_location
end_line : clingo_location
init : clingo_propagator
name : clingo_part
params : clingo_part
positive : clingo_symbolic_literal
propagate : clingo_propagator
size : clingo_part
symbol : clingo_symbolic_literal
undo : clingo_propagator